Florian Böhl

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth.
IACR Cryptol. ePrint Arch., 2018

2016
Symbolic universal composability.
J. Comput. Secur., 2016

2015
Confined Guessing: New Signatures From Standard Assumptions.
J. Cryptol., 2015

2014
Symbolic Analysis of Cryptographic Protocols.
PhD thesis, 2014

Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-Honest Sender.
IACR Cryptol. ePrint Arch., 2014

How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.
Proceedings of the Software Engineering and Formal Methods, 2014

Encryption Schemes Secure under Related-Key and Key-Dependent Message Attacks.
Proceedings of the Public-Key Cryptography - PKC 2014, 2014

2013
RKA-KDM secure encryption from public-key encryption.
IACR Cryptol. ePrint Arch., 2013

Deduction Soundness: Prove One, Get Five for Free.
IACR Cryptol. ePrint Arch., 2013

Practical Signatures from Standard Assumptions.
Proceedings of the Advances in Cryptology, 2013

2011
On definitions of selective opening security.
IACR Cryptol. ePrint Arch., 2011


  Loading...