Benedikt Schmidt

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7178368 (Why is no real title available?)	2020-03-09	Paper
Automated analysis of cryptographic assumptions in generic group models Journal of Cryptology	2019-06-20	Paper
Generic transformations of predicate encodings: constructions and applications	2017-11-03	Paper
Automated unbounded analysis of cryptographic constructions in the generic group model Advances in Cryptology – EUROCRYPT 2016	2016-07-15	Paper
Mind the gap: modular machine-checked proofs of one-round key exchange protocols Advances in Cryptology - EUROCRYPT 2015	2015-09-30	Paper
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds Lecture Notes in Computer Science	2015-08-27	Paper
EasyCrypt: a tutorial Foundations of Security Analysis and Design VII	2015-05-27	Paper
Automated analysis of cryptographic assumptions in generic group models Advances in Cryptology – CRYPTO 2014	2014-08-07	Paper
Let’s Get Physical: Models and Methods for Real-World Security Protocols Lecture Notes in Computer Science	2009-10-20	Paper

Research outcomes over time

This page was built for person: Benedikt Schmidt