Nov 19, 2017

Home

Partners

People

Private

Meetings

Work Package

Documents

GForge

edit SideBar

Search

Publications

  • D. Ghindici, I. Simplot-Ryl, and J.-M. Talbot. A sound analysis for secure information flow using abstract memory graphs. 3rd International Conference on Fundamentals of Software Engineering (FSEN'09), Kish Island, Iran, April 15-17, 2009, to appear.
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, and Reihaneh Safavi-Naini. "Automated Proofs for Encryption Modes". In Proceedings of the 13th Annual Asian Computing Science Conference Focusing on Information Security and Privacy: Theory and Practice (ASIAN'09), 2009.
  • Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, and Reihaneh Safavi-Naini. "Automated Proofs for Encryption Modes". In Proceedings of the Workshop on Formal and Computational Cryptography, (FCC'09), July 2009, PortJefferson NY, USA.
  • Sreekanth Malladi, Pascal Lafourcade, "Prudent engineering practices to prevent type-flaw attacks under algebraic properties". In Proceedings of the Workshop on Security and Rewriting Techniques, (Secret'09) July 2009, PortJefferson NY, USA
  • Judicael Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade. and Yassine Lahknech Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Model. In Proceedings of the 15th ACM Conference on Computer and Communications Security, (CCS'08), October 2008, Alexandria USA, pp. 371--380
  • D. Ghindici, and I. Simplot-Ryl. "On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards". 8th Smart Card research and Advanced Application IFIP Conference (CARDIS 2008), Ehgam, UK, September 8--11, 2008, vol. 5189 of LNCS, pp. 32--47.
  • Judicael Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade and Yassine Lahknech "Automated Proofs for Asymmetric Encryption". In Proceedings of the Workshop on Formal and Computational Cryptography, (FCC'08), June 2008, Pittsburgh PA, USA.
  • Judicael Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade. and Yassine Lahknech "Automated Proofs for Asymmetric Encryption". In Proceedings of the Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, (FCS-ARSPA-WITS'08), June 2008, Pittsburgh PA, USA.

Page Actions

Recent Changes

Group & Page

Back Links