Christian Forler is an author at Bauhaus-Universität Weimar specializing in formal verification, cryptography, and data security.
Top concepts
EngineeringCryptographyData PrivacyData SecurityComputer ScienceFormal VerificationInformation Security
Publications per year
2011–2016
4
4
Catena: A Memory-Consuming Password Scrambler.
Christian Forler, Stefan Lucks, Jakob Wenzel · IACR Cryptology ePrint Archive · 2013 · 29 citations
Biclique Cryptanalysis of the PRESENT and LED Lightweight Ciphers.
Farzaneh Abed, Christian Forler, Eik List et al. · IACR Cryptology ePrint Archive · 2012 · 24 citations
McOE: A Family of Almost Foolproof On-Line Authenticated Encryption Schemes
Ewan Fleischmann, Christian Forler, Stefan Lucks et al. · 2011 · 13 citations
Rows per page
1–4 of 4