Benedikt Schmidt

Available identifiers

zbMath Open schmidt.benediktMaRDI QIDQ1675715

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5219933	2020-03-09	Paper
Automated analysis of cryptographic assumptions in generic group models	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	2016-07-15	Paper
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols	2015-09-30	Paper
Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds	2015-08-27	Paper
EasyCrypt: A Tutorial	2015-05-27	Paper
Automated Analysis of Cryptographic Assumptions in Generic Group Models	2014-08-07	Paper
Let’s Get Physical: Models and Methods for Real-World Security Protocols	2009-10-20	Paper

Research outcomes over time

This page was built for person: Benedikt Schmidt