Benedikt Schmidt
AuthID: R-00H-CTP
11
TITLE: Strongly-Optimal Structure Preserving Signatures from Type II Pairings: Synthesis and Lower Bounds
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
AUTHORS: Gilles Barthe; Edvard Fagerholm; Dario Fiore; Andre Scedrov; Benedikt Schmidt; Mehdi Tibouchi;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
INDEXED IN: 
DBLP
DBLP12
TITLE: Certified Synthesis of Efficient Batch Verifiers
AUTHORS: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
AUTHORS: Joseph A Akinyele; Gilles Barthe; Benjamin Grégoire; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014
INDEXED IN: DBLP
DBLP13
TITLE: Fully automated analysis of padding-based encryption in the computational model
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Benedikt Schmidt; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Benedikt Schmidt; Santiago Zanella Béguelin;
PUBLISHED: 2013, SOURCE: 2013 ACM SIGSAC Conference on Computer and Communications Security, CCS'13, Berlin, Germany, November 4-8, 2013
INDEXED IN: DBLP
DBLP14
TITLE: EasyCrypt: A Tutorial
AUTHORS: Gilles Barthe; François Dupressoir; Benjamin Grégoire; César Kunz; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2013, SOURCE: Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures, VOLUME: 8604
AUTHORS: Gilles Barthe; François Dupressoir; Benjamin Grégoire; César Kunz; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2013, SOURCE: Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures, VOLUME: 8604
INDEXED IN: DBLP
DBLP