On definitions of selective opening security. - Florian Böhl; Dennis Hofheinz; Daniel Kraschewski (IACR Cryptol. ePrint Arch., 2011)

Practical Signatures from Standard Assumptions. - Florian Böhl; Dennis Hofheinz; Tibor Jager; Jessica Koch; Jae Hong Seo; Christoph Striecks (EUROCRYPT, 2013)

Deduction Soundness: Prove One, Get Five for Free. - Florian Böhl; Véronique Cortier; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2013)

RKA-KDM secure encryption from public-key encryption. - Florian Böhl; Gareth T. Davies; Dennis Hofheinz (IACR Cryptol. ePrint Arch., 2013)

Encryption Schemes Secure under Related-Key and Key-Dependent Message Attacks. - Florian Böhl; Gareth T. Davies; Dennis Hofheinz (Public Key Cryptography, 2014)

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. - Bernhard Beckert; Sarah Grebing; Florian Böhl (SEFM Workshops, 2014)

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. - Bernhard Beckert; Sarah Grebing; Florian Böhl (UITP, 2014)

Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender. - Florian Böhl; Simon Greiner; Patrik Scheidecker (IACR Cryptol. ePrint Arch., 2014)

Symbolic Analysis of Cryptographic Protocols. - Florian Böhl (2014)

Confined Guessing: New Signatures From Standard Assumptions. - Florian Böhl; Dennis Hofheinz; Tibor Jager; Jessica Koch; Christoph Striecks (J. Cryptol., 2015)

Symbolic universal composability. - Florian Böhl; Dominique Unruh (J. Comput. Secur., 2016)

MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth. - Ralph Ankele; Florian Böhl; Simon Friedberger (IACR Cryptol. ePrint Arch., 2018)