Yassine Lakhnech
AuthID: R-00G-Q3D
1
TITLE: Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II, VOLUME: 9057
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: Advances in Cryptology - EUROCRYPT 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II, VOLUME: 9057
INDEXED IN: 
DBLP
DBLP2
TITLE: Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLISHED: 2015, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2015
INDEXED IN: DBLP
DBLP3
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
DBLP4
TITLE: Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
AUTHORS: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
INDEXED IN: DBLP
DBLP5
TITLE: Automated Analysis and Synthesis of Padding-Based Encryption Schemes
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTHORS: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXED IN: DBLP
DBLP6
TITLE: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTHORS: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings, VOLUME: 6558
AUTHORS: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLISHED: 2011, SOURCE: Topics in Cryptology - CT-RSA 2011 - The Cryptographers' Track at the RSA Conference 2011, San Francisco, CA, USA, February 14-18, 2011. Proceedings, VOLUME: 6558
INDEXED IN: DBLP
DBLP7
TITLE: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTHORS: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLISHED: 2011, SOURCE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
AUTHORS: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLISHED: 2011, SOURCE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
INDEXED IN: DBLP
DBLP8
TITLE: Computational indistinguishability logic
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLISHED: 2010, SOURCE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
INDEXED IN: DBLP
DBLP9
TITLE: On the Equality of Probabilistic Terms
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
AUTHORS: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLISHED: 2010, SOURCE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
INDEXED IN: DBLP
DBLP10
TITLE: Guidelines for a graduate curriculum on embedded software and systems Full Text
AUTHORS: Paul Caspi; Alberto Sangiovanni S Vincentelli; Luís Almeida ; Albert Benveniste; Bruno Bouyssounouse; Giorgio C Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García Valls; Hermann Kopetz; Yassine Lakhnech; François Laroussinie; Luciano Lavagno; Giuseppe Lipari; Florence Maraninchi; Philipp Peti; Juan Antonio de la Puente; Norman Scaife; ...More
PUBLISHED: 2005, SOURCE: ACM Trans. Embedded Comput. Syst., VOLUME: 4, ISSUE: 3
AUTHORS: Paul Caspi; Alberto Sangiovanni S Vincentelli; Luís Almeida ; Albert Benveniste; Bruno Bouyssounouse; Giorgio C Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García Valls; Hermann Kopetz; Yassine Lakhnech; François Laroussinie; Luciano Lavagno; Giuseppe Lipari; Florence Maraninchi; Philipp Peti; Juan Antonio de la Puente; Norman Scaife; ...More
PUBLISHED: 2005, SOURCE: ACM Trans. Embedded Comput. Syst., VOLUME: 4, ISSUE: 3
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef