Yassine Lakhnech
AuthID: R-00G-Q3D
1
TÃTULO: Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2015
AUTORES: Gilles Barthe; Juan Manuel Crespo; Yassine Lakhnech; Benedikt Schmidt;
PUBLICAÇÃO: 2015, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2015
INDEXADO EM: DBLP
DBLP3
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
DBLP4
TÃTULO: Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
AUTORES: Gilles Barthe; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings, VOLUME: 7679
INDEXADO EM: DBLP
DBLP5
TÃTULO: Automated Analysis and Synthesis of Padding-Based Encryption Schemes
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
AUTORES: Gilles Barthe; Juan Manuel Crespo; Benjamin Grégoire; César Kunz; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2012, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2012
INDEXADO EM: DBLP
DBLP6
TÃTULO: Beyond Provable Security Verifiable IND-CCA Security of OAEP
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: 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
AUTORES: Gilles Barthe; Benjamin Grégoire; Yassine Lakhnech; Santiago Zanella Béguelin;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: DBLP
DBLP7
TÃTULO: A Computational Indistinguishability Logic for the Bounded Storage Model
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
AUTORES: Gilles Barthe; Mathilde Duclos; Yassine Lakhnech;
PUBLICAÇÃO: 2011, FONTE: Foundations and Practice of Security - 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers, VOLUME: 6888
INDEXADO EM: DBLP
DBLP8
TÃTULO: Computational indistinguishability logic
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 17th ACM Conference on Computer and Communications Security, CCS 2010, Chicago, Illinois, USA, October 4-8, 2010
INDEXADO EM: DBLP
DBLP9
TÃTULO: On the Equality of Probabilistic Terms
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
AUTORES: Gilles Barthe; Marion Daubignard; Bruce M Kapron; Yassine Lakhnech; Vincent Laporte;
PUBLICAÇÃO: 2010, FONTE: Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers, VOLUME: 6355
INDEXADO EM: DBLP
DBLP10
TÃTULO: Guidelines for a graduate curriculum on embedded software and systems Full Text
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2005, FONTE: ACM Trans. Embedded Comput. Syst., VOLUME: 4, NÚMERO: 3
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2005, FONTE: ACM Trans. Embedded Comput. Syst., VOLUME: 4, NÚMERO: 3
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef