Issues on Designing a Cryptographic Compiler
Stefan Lucks, Nico Schmoigl, Emin İslam Tatlı · 2005
Abstract: Flawed implementations of security protocols is a major source of real world security problems. Typically, security protocols are specified in some “highlevel” way and may even be formally proven secure. Implementing them in practical (and comparatively low-level) source code has turned out to be error-prone. This paper introduces an experimental language for high-level protocol specifications and describes a tool to automatically compile source code from these specifications. 1