On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. - Michael Backes 001; Alex Busenius; Catalin Hritcu (NASA Formal Methods, 2012)