Florian Böhl

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