AN INDUSTRIAL AND ACADEMIC JOINT EXPERIMENT ON AUTOMATED VERIFICATION OF A SECURITY PROTOCOL
OLIVIER HEEN , THOMAS GENET , STEPHANE GELLER , NICOLAS PRIGENT
Proceedings of the MWNS 2008 Workshop 39 -53
3
2008
Linear speed-up without synchronization
O Heen
Rapport LITP 57
4
1995
A solution to the problem of secure boundary in home ad hoc networks
Christophe Bidan , Jean-Pierre Andreaux , Nicolas Prigent , Olivier Heen
2003
Detecting client software versions
Charles Salmon-Legagneur , Michel Morvan , Olivier Heen
7
2010
Improving 802.11 fingerprinting of similar devices by cooperative fingerprinting
Aurelien Francillon , Clementine Maurice , Christoph Neumann , Stephane Onno
international conference on security and cryptography 379 -386
4
2013
Method for the discovery of devices connected to an IP network and device to carry out said method
Yves Maetz , Charles Salmon-Legagneur , Nicolas Prigent , Yan-Mei Tang-Talpin
31
2005
Apparatus and method for data taint tracking
Christoph Neumann , Stephane Onno , Benjamin Plane , Olivier Heen
2
2015
METHOD FOR PROVIDING INFORMATION TO DETERMINE A GRAPH ASSOCIATED WITH A DATA ITEM
Stephane Onno , Christophe Neumann , Nina Anne Taft , Olivier Heen
1
2016
A TPM-based architecture for improved security and anonymity in vehicular ad hoc networks
Gilles Guette , Olivier Heen
vehicular networking conference 1 -7
28
2009
Secure long term communities in ad hoc networks
Nicolas Prigent , Christophe Bidan , Jean-Pierre Andreaux , Olivier Heen
Proceedings of the 1st ACM workshop on Security of ad hoc and sensor networks - SASN '03 115 -124
24
2003
An Empirical Study of Passive 802.11 Device Fingerprinting
Christoph Neumann , Olivier Heen , Stephane Onno
international conference on distributed computing systems workshops 593 -602
53
2012
Linear speed-up for cellular automata synchronizers and applications
Olivier Heen
Theoretical Computer Science 188 ( 1-2) 45 -57
6
1997
Conciliating remote home network access and MAC-address control
Stephane Onno , Christoph Neumann , Olivier Heen
international conference on consumer electronics 98 -99
4
2012
Improving Secure Device Insertion in Home Ad Hoc Networks
Olivier Heen , Jean-Pierre Andreaux , Nicolas Prigent
information security conference 381 -394
1
2004
Recall-a-story, a story-telling graphical password system
Yves Maetz , Stéphane Onno , Olivier Heen
Proceedings of the 5th Symposium on Usable Privacy and Security - SOUPS '09 27
5
2009
User-based authentication for wireless home networks
Stephane Onno , Raphael Gelloz , Olivier Heen , Christoph Neumann
2012 IEEE Second International Conference on Consumer Electronics - Berlin (ICCE-Berlin) 218 -220
3
2012
On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks
Olivier Heen , Gilles Guette , Thomas Genet
workshop in information security theory and practice 5746 1 -11
3
2009
Efficient constant speed-up for one dimensional cellular automata calculators
Olivier Heen
parallel computing 23 ( 11) 1663 -1671
3
1997
Confidentiality Issues on a GPU in a Virtualized Environment
Clémentine Maurice , Christoph Neumann , Olivier Heen , Aurélien Francillon
Financial Cryptography and Data Security 119 -135
37
2014
Improving the Resistance to Side-Channel Attacks on Cloud Storage Services
Olivier Heen , Christoph Neumann , Luis Montalvo , Serge Defrance
new technologies, mobility and security 1 -5
34
2012
Christoph Neumann Nicolas Prigent Clémentine Maurice Aurélien Francillon Thomas Genet Marc Éluard Gilles Guette Nicolas Le Scouarnec Yann Glouche Jean-Ronan Vigouroux Frederic Lefebvre Luis Montalvo Sébastien Gambs Erwan Le Merrer Luigi Vigneri Ioannis Pefkianakis Jaideep Chandrashekar Augustin Soule