Florian Böhl

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 4

Top Venues

IACR Cryptol. ePrint Arch.

Public Key Cryptography

CSF

ACNS

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Ralph Ankele, Florian Böhl, Simon Friedberger
MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth. IACR Cryptol. ePrint Arch. 2018 (2018)
Ralph Ankele, Florian Böhl, Simon Friedberger
MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth. ACNS (2018)
Florian Böhl, Dominique Unruh
Symbolic universal composability. J. Comput. Secur. 24 (1) (2016)
Florian Böhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Christoph Striecks
Confined Guessing: New Signatures From Standard Assumptions. J. Cryptol. 28 (1) (2015)
Florian Böhl, Simon Greiner, Patrik Scheidecker
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender. IACR Cryptol. ePrint Arch. 2014 (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. UITP (2014)
Florian Böhl, Simon Greiner, Patrik Scheidecker
Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender. CANS (2014)
Florian Böhl, Gareth T. Davies, Dennis Hofheinz
Encryption Schemes Secure under Related-Key and Key-Dependent Message Attacks. Public Key Cryptography (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops (2014)
Florian Böhl, Dominique Unruh
Symbolic Universal Composability. CSF (2013)
Florian Böhl, Gareth T. Davies, Dennis Hofheinz
RKA-KDM secure encryption from public-key encryption. IACR Cryptol. ePrint Arch. 2013 (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction soundness: prove one, get five for free. CCS (2013)
Florian Böhl, Dominique Unruh
Symbolic Universal Composability. IACR Cryptol. ePrint Arch. 2013 (2013)
Florian Böhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Christoph Striecks
Confined Guessing: New Signatures From Standard Assumptions. IACR Cryptol. ePrint Arch. 2013 (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction Soundness: Prove One, Get Five for Free. IACR Cryptol. ePrint Arch. 2013 (2013)
Florian Böhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo, Christoph Striecks
Practical Signatures from Standard Assumptions. EUROCRYPT (2013)
Florian Böhl, Dennis Hofheinz, Daniel Kraschewski
On Definitions of Selective Opening Security. Public Key Cryptography (2012)
Florian Böhl, Dennis Hofheinz, Daniel Kraschewski
On definitions of selective opening security. IACR Cryptol. ePrint Arch. 2011 (2011)

Florian Böhl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Florian Böhl