Publication Overview

Michael Backes and Alex Busenius and Catalin Hritcu

On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

Published in: NASA Formal Methods
Year: 2012
Pages: 371-387