Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


WEWoRC 2005 -Western European Workshop on Research in Cryptology P-74, 109-122 (2005).

Gesellschaft für Informatik, Bonn
2005


Editors

Christopher Wolf, Stefan Lucks, Po-Wah Yau (eds.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Issues on designing a cryptographic compiler

Stefan Lucks , Nico Schmoigl and Emin Islam Tatlı

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. 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

Gesellschaft für Informatik, Bonn
ISBN 3-88579-403-9


Last changed 24.01.2012 21:52:38