Issues on designing a cryptographic compiler
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. C. Wolf, S. Lucks, P.-W. Yau (Eds.): WEWoRC 2005, LNI P-74, pp. 109-122, 2005. c Gesellschaft fÃ¼r Informatik e.V.
Full Text: PDF