Florian Bhl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ACNS | MergeMAC: A MAC for Authentication with Strict Time Constraints and Limited Bandwidth. | Ralph Ankele, Florian Bhl, Simon Friedberger |
| 2014 | CANS | Proving Correctness and Security of Two-Party Computation Implemented in Java in Presence of a Semi-honest Sender. | Florian Bhl, Simon Greiner, Patrik Scheidecker |
| 2014 | PKC | Encryption Schemes Secure under Related-Key and Key-Dependent Message Attacks. | Florian Bhl, Gareth T. Davies, Dennis Hofheinz |
| 2014 | SEFM | A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. | Bernhard Beckert, Sarah Grebing, Florian Bhl |
| 2013 | CCS | Deduction soundness: prove one, get five for free. | Florian Bhl, Vronique Cortier, Bogdan Warinschi |
| 2013 | EuroCrypt | Practical Signatures from Standard Assumptions. | Florian Bhl, Dennis Hofheinz, Tibor Jager, Jessica Koch, Jae Hong Seo, Christoph Striecks |
| 2012 | PKC | On Definitions of Selective Opening Security. | Florian Bhl, Dennis Hofheinz, Daniel Kraschewski |