Publications
[21] Gilles Guette, Olivier Heen. A TPM-based Architecture for Improved Security and Anonymity in Vehicular Ad hoc Networks. In International Vehicular Networking Conference (IEEE VNC 2009), October 28-30, 2009, Tokyo (Japan).[bib]
[20] Yvez Maetz, Stéphane Onno, Olivier Heen. Recall-A-Story, a story-telling graphical password system (poster). Symposium On Usable Privacy and Security (SOUPS) July 15-17, 2009, Mountain View (CA, USA).
[bib] [pdf]
[19] Olivier Heen, Gilles Guette, Thomas Genet. On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks. In WISTP 2009 3rd edition, September 1 — 4, 2009, Brussels (Belgium).
[bib] [pdf]
[18] Gilles Guette, Olivier Heen. Utilisation de Trusted Platform Modules pour la sécurité et l'’anonymat des réseaux de véhicules. In SARSSI 2009 4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, 22 — 26 juin 2009, Luchon (France).
[bib] [pdf]
[17] Olivier Heen, Gilles Guette, Thomas Genet. Anonymat dans les communautés de confiance. In SARSSI 2008 3ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, 13 — 17 octobre 2008, Loctudy (France).
[bib] [pdf]
[16] Olivier Heen, Thomas Genet, Erwan Houssay. Votre protocole est-il vérifié ? In MISC 39, p. 58-68, Septembre 2008.
[bib]
[15] Olivier Heen, Thomas Genet, Stéphane Geller and Nicolas Prigent. An Industrial and Academic Joint Experiment on Automated Verification of a Security Protocol. In Mobile and Wireless Networks Security, MWNS 2008, Maryline Laurent-Maknavicius and Hakima Chaouchi editors. Co-located with IFIP Networking 2008, May 5-9, 2008, Singapore (Republic of Singapore).
[bib] [pdf] [book]
[14] Thomas Genet, Olivier Heen, and Yan Mei Tang-Talpin. Verification of security protocols: Mutual benefits from academic and industrial viewpoints. In In Shaping the future: 10 years of Irisatech, pages 113-125, 2007.
[bib]
[13] Yoann Boichut, Thomas Genet, Yann Glouche, and Olivier Heen. Using Animation to Improve Formal Specifications of Security Protocols. In 2nd Conference on Security in Network Architectures and Information Systems (SARSSI 2007), pages 169-182, 2007, Annecy (France).
[bib] [pdf]
[12] Olivier Courtay, Olivier Heen, Mohamed Karroumi, and Alain Durand. Secure Device Pairing under Realistic Conditions. In J. Zhou, M. Yung, and F. Bao, editors, Applied Cryptography and Network Security (ACNS 2006), Industrial Track Proceedings, pages 41-54, 2006, Singapore (Republic of Singapore).
[bib] [pdf]
[11] Yann Glouche, Thomas Genet, Olivier Heen, and Olivier Courtay. A Security Protocol Animator Tool for AVISPA. In ARTIST-2 workshop on security of embedded systems, 2006, Pisa (Italy).
[bib] [pdf]
[10] Nicolas Prigent, Christophe Bidan, Olivier Heen, and Olivier Courtay. Configuration automatisée des services de sécurité de communautés d'appareils dans les réseaux spontanés. In 4th Conference on Security and Network Architectures (SAR '05), 2005, Batz-sur-Mer (France).
[bib]
[9] Olivier Heen, Jean-Pierre Andreaux, and Nicolas Prigent. Improving secure device insertion in home ad-hoc networks. In Y. Deswarte, F. Cuppens, S. Jajodia, , and L. Wand, editors, Security and Protection in Information Processing Systems (IFIP WCC 2004), pages 381-394. Kluwer Academic Publishers, 2004, Toulouse (France).
[bib] [pdf]
[8] Nicolas Prigent, Christophe Bidan, Olivier Heen, and Alain Durand. Sécurité des réseaux domestiques : optimaux les grands remèdes ? In Symposium sur la Sécurité des Technologies de l'Information et de la Communication (SSTIC 2003), 2003, Rennes (France).
[bib] [pdf]
[7] Olivier Courtay, Olivier Heen, and Franck Veysset. Détection de systèmes d'exploitation avec cron-os. In Symposium sur la Sécurité des Technologies de l'Information et de la Communication (SSTIC 2003), 2003, Rennes (France).
[bib] [pdf]
[6] Nicolas Prigent, Christophe Bidan, Jean-Pierre. Andreaux, and Olivier Heen. Secure long term communities in ad hoc networks. In ACM SASN'03: Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks, pages 115-124, New York, (NY, USA), 2003.
[bib] [ACM portal]
[5] Nicolas Prigent, Christophe Bidan, Jean-Pierre Andreaux, and Olivier Heen. A solution to the problem of secure boundary in home ad hoc networks, 2003. Air&D 2003 Workshop, Saint Malo (France).
[bib] [pdf]
[4] Olivier Heen. Threats against home networks, 2003. Air&D 2003 Workshop, Saint Malo (France).
[bib]
[3] Olivier Heen. Linear speed-up for cellular automata synchronizers and applications. Theoretical Computer Science, 188(1-2):45-57, 1997.
[bib]
[2] Olivier Heen. Efficient constant speed-up for one dimensional cellular automata calculators. Parallel Computing, 23(11):1663-1671, 1997.
[bib]
[1] Olivier Heen. Économie de ressources sur automates cellulaires. PhD thesis, Université Paris 7, Denis Diderot, 1996.
[bib] [ps]