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