Florian Böhl

According to our database, Florian Böhl authored at least 12 papers between 2012 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

Proceedings of the Applied Cryptography and Network Security, 2018

2014

Symbolic Analysis of Cryptographic Protocols.

Florian Böhl

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

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

Proceedings of the Cryptology and Network Security - 13th International Conference, 2014

2013

Confined Guessing: New Signatures From Standard Assumptions.

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

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

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

Symbolic Universal Composability.

Florian Böhl, Dominique Unruh

Proceedings of the 2013 IEEE 26th Computer Security Foundations Symposium, 2013

Deduction soundness: prove one, get five for free.

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

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

2012

On Definitions of Selective Opening Security.

Florian Böhl, Dennis Hofheinz, Daniel Kraschewski

Proceedings of the Public Key Cryptography - PKC 2012, 2012