Florian Böhl

According to our database, Florian Böhl authored at least 12 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth.

Ralph Ankele, Florian Böhl, Simon Friedberger

IACR Cryptol. ePrint Arch., 2018

2016

Symbolic universal composability.

Florian Böhl, Dominique Unruh

J. Comput. Secur., 2016

2015

Confined Guessing: New Signatures From Standard Assumptions.

Florian Böhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Christoph Striecks

J. Cryptol., 2015

2014

Symbolic Analysis of Cryptographic Protocols.

Florian Böhl

PhD thesis, 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

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.

Bernhard Beckert, Sarah Grebing, Florian Böhl

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.

Bernhard Beckert, Sarah Grebing, Florian Böhl

Proceedings of the Software Engineering and Formal Methods, 2014

Encryption Schemes Secure under Related-Key and Key-Dependent Message Attacks.

Florian Böhl, Gareth T. Davies, Dennis Hofheinz

Proceedings of the Public-Key Cryptography - PKC 2014, 2014

2013

RKA-KDM secure encryption from public-key encryption.

Florian Böhl, Gareth T. Davies, Dennis Hofheinz

IACR Cryptol. ePrint Arch., 2013

Deduction Soundness: Prove One, Get Five for Free.

Florian Böhl, Véronique Cortier, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2013

Practical Signatures from Standard Assumptions.

Florian Böhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo, Christoph Striecks

Proceedings of the Advances in Cryptology, 2013

2011

On definitions of selective opening security.

Florian Böhl, Dennis Hofheinz, Daniel Kraschewski

IACR Cryptol. ePrint Arch., 2011