Logo des Repositoriums

Auflistung nach Autor:in "Schmoigl, Nico"

1 - 1 von 1
  • Konferenzbeitrag
    Issues on designing a cryptographic compiler
    (WEWoRC 2005 – Western European Workshop on Research in Cryptology, 2005) Lucks, Stefan; Schmoigl, Nico; Tatlı, Emin İslam
    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.