@INPROCEEDINGS{VNC2009,
AUTHOR = {Gilles Guette, Olivier Heen},
TITLE = {A TPM-based Architecture for Improved Security and Anonymity in Vehicular Ad hoc Networks},
BOOKTITLE = {In International Vehicular Networking Conference (IEEE VNC 2009)},
YEAR = {2009},
LOCATION = {Tokyo (Japan)}
}
@INPROCEEDINGS{SOUPS2009,
AUTHOR = {Yvez Maetz, Stéphane Onno, Olivier Heen},
TITLE = {Recall-A-Story, a story-telling graphical password system (poster)},
BOOKTITLE = {Symposium On Usable Privacy and Security (SOUPS)},
YEAR = {2009},
LOCATION = {Mountain View (CA, USA)}
}
@INPROCEEDINGS{WISTP2009,
AUTHOR = {Olivier Heen, Gilles Guette, Thomas Genet},
TITLE = {On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks},
BOOKTITLE = {WISTP 2009 3rd edition},
YEAR = {2009},
LOCATION = {Brussels (Belgium)}
}
@INPROCEEDINGS{SARSSI2009,
AUTHOR = {Gilles Guette, Olivier Heen},
TITLE = {Utilisation de Trusted Platform Modules pour la sécurité et l'’anonymat des réseaux de véhicules},
BOOKTITLE = {4ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SARSSI)},
YEAR = {2009},
LOCATION = {Luchon (France)}
}
@INPROCEEDINGS{SARSSI08,
AUTHOR = {Olivier Heen and Gilles Guette and Thomas Genet},
TITLE = {Anonymat dans les communautés de confiance},
BOOKTITLE = {3rd Conference on Security in Network Architectures and Information Systems (SARSSI 2008)},
YEAR = {2008},
LOCATION = {Loctudy, France}
}
@INPROCEEDINGS{MISC08,
AUTHOR = {Olivier Heen and Thomas Genet and Erwan Houssay},
TITLE = {Votre protocole est-il vérifié ?},
BOOKTITLE = {MISC 39},
PAGES = {58--68},
MONTH = {sep},
YEAR = {2008}
}
@INPROCEEDINGS{MWNS08,
AUTHOR = {Olivier Heen and Thomas Genet and Stéphane Geller and Nicolas Prigent},
TITLE = {An Industrial and Academic Joint Experiment on Automated Verification of a Security Protocol},
BOOKTITLE = {Mobile and Wireless Networks Security},
PAGES = {39--53},
ISBN = {978-981-283-325-9},
YEAR = {2008},
EDITOR = {Maryline Laurent-Maknavicius and Hakima Chaouchi},
LOCATION = {Singapore}
}
@INPROCEEDINGS{IRISATECH,
AUTHOR = {Thomas Genet and Olivier Heen and Yan Mei Tang-Talpin},
TITLE = {Verification of Security Protocols: Mutual Benefits from Academic and Industrial Viewpoints},
BOOKTITLE = {In Shaping the future: 10 years of Irisatech},
PAGES = {113--125},
YEAR = {2007}
}
@INPROCEEDINGS{SARSSI07,
AUTHOR = {Yoann Boichut and Thomas Genet and Yann Glouche and Olivier Heen},
TITLE = {{U}sing {A}nimation to {I}mprove {F}ormal {S}pecifications of {S}ecurity {P}rotocols},
BOOKTITLE = {2nd Conference on Security in Network Architectures and Information Systems (SARSSI 2007)},
PAGES = {169--182},
YEAR = {2007},
LOCATION = {Annecy, France}
}
@INPROCEEDINGS{USDP06,
AUTHOR = {Olivier Courtay and Olivier Heen and Mohamed Karroumi and Alain Durand},
TITLE = {{S}ecure {D}evice {P}airing under {R}ealistic {C}onditions},
BOOKTITLE = {Applied Cryptography and Network Security (ACNS 2006), Industrial Track Proceedings},
PAGES = {41--54},
YEAR = {2006},
EDITOR = {J. Zhou and M. Yung and F. Bao},
LOCATION = {Singapore}
}
@INPROCEEDINGS{SPAN06,
AUTHOR = {Yann Glouche and Thomas Genet and Olivier Heen and Olivier Courtay},
TITLE = {{A} {S}ecurity {P}rotocol {A}nimator {T}ool for {AVISPA}},
YEAR = {2006},
BOOKTITLE = {ARTIST-2 workshop on security of embedded systems},
LOCATION = {Pisa, Italy}
}
@INPROCEEDINGS{SAR05,
AUTHOR = {Nicolas Prigent and Christophe Bidan and Olivier Heen and Olivier Courtay},
TITLE = {Configuration automatisée des services de sécurité de communautés d'appareils dans les réseaux spontanés},
YEAR = {2005},
BOOKTITLE = {4th Conference on Security and Network Architectures (SAR '05)},
LOCATION = {Batz-sur-Mer, France}
}
@INPROCEEDINGS{IFIPAP04,
AUTHOR = {Olivier Heen and Jean-Pierre Andreaux and Nicolas Prigent},
TITLE = {Improving Secure Device Insertion in Home Ad-hoc Networks},
YEAR = {2004},
PAGES = {381--394},
EDITOR = {Y. Deswarte and F. Cuppens and S. Jajodia and and L. Wand},
BOOKTITLE = {Security and Protection in Information Processing Systems (IFIP WCC 2004)},
PUBLISHER = {Kluwer Academic Publishers}
}
@INPROCEEDINGS{SSTIC03ResDom,
AUTHOR = {Nicolas Prigent and Christophe Bidan and Olivier Heen and Alain Durand},
TITLE = {Sécurité des réseaux domestiques : optimaux les grands remèdes ?},
BOOKTITLE = {Symposium sur la Sécurité des Technologies de l'Information et de la Communication (SSTIC 2003)},
YEAR = {2003},
LOCATION = {Rennes, France}
}
@INPROCEEDINGS{SSTIC03CronOS,
AUTHOR = {Olivier Courtay and Olivier Heen and Franck Veysset},
TITLE = {Détection de systèmes d'exploitation avec Cron-OS},
BOOKTITLE = {Symposium sur la Sécurité des Technologies de l'Information et de la Communication (SSTIC 2003)},
YEAR = {2003},
LOCATION = {Rennes, France}
}
@INPROCEEDINGS{SASN03,
AUTHOR = {Nicolas Prigent and Christophe Bidan and Jean-Pierre. Andreaux and Olivier Heen},
TITLE = {Secure long term communities in ad hoc networks},
BOOKTITLE = {SASN'03: Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks},
YEAR = {2003},
ISBN = {1-58113-783-4},
PAGES = {115--124},
LOCATION = {Fairfax, Virginia},
PUBLISHER = {ACM},
ADDRESS = {New York, NY, USA}
}
@MISC{AIRD03,
AUTHOR = {Nicolas Prigent and Christophe Bidan and Jean-Pierre Andreaux and Olivier Heen},
TITLE = {A solution to the problem of secure boundary in home ad hoc networks},
BOOKTITLE = {AIR\&D Workshop},
YEAR = {2003},
LOCATION = {Saint Malo, France}
}
@MISC{AIRD03Threats,
AUTHOR = {Olivier Heen},
TITLE = {Threats against home networks},
BOOKTITLE = {AIR\&D Workshop},
YEAR = {2003},
LOCATION = {Saint Malo, France}
}
@ARTICLE{LinearSpeedUp,
AUTHOR = {Olivier Heen},
TITLE = {Linear Speed-Up for Cellular Automata Synchronizers and Applications},
JOURNAL = {Theoretical Computer Science},
VOLUME = {188},
NUMBER = {1--2},
YEAR = {1997},
PAGES = {45--57}
}
@ARTICLE{ConstantSpeedUp,
AUTHOR = {Olivier Heen},
TITLE = {Efficient Constant Speed-Up for one Dimensional Cellular Automata Calculators},
JOURNAL = {Parallel Computing},
VOLUME = {23},
NUMBER = {11},
YEAR = {1997},
PAGES = {1663-1671}
}
@PHDTHESIS{These96,
AUTHOR = {Olivier Heen},
TITLE = {\'Economie de ressources sur automates cellulaires},
SCHOOL = {Universit\'e Paris 7, Denis Diderot},
YEAR = {1996}
}
This file has been generated by bibtex2html 1.79