Michael Hauspie

Présentation

Since 2012, I am co-head of the 2XS team of the CRIStAL laboratory. My research interests include performance, security and privacy in embedded systems and mobile sensors systems. I obtained my Habilitation à Diriger des Recherches from Université Lille 1 in december 2014.

Before that I obtained a PhD. from University Lille 1 in january 2005 under the direction of Pr. David Simplot-Ryl. My thesis topic was about services management in wireless ad hoc networks. From October 2004 to September 2005, I led the Research and Development Department of the VB2S compagny. I joined the POPS project of Univ. Lille 1/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.

Publications

Article dans une revue (2)

Proving Partial-Correctness and Invariance Properties of Transition-System Models Vlad Rusu,Gilles Grimaud,Michaël Hauspie Science of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩ Article dans une revue hal-01962912v2
Balancing energy consumption in clustered wireless sensor networks Tony Ducrocq,Michaël Hauspie,Nathalie Mitton International Scholarly Research Notices, 2013 Article dans une revue hal-00863123v1

Communication dans un congrès (24)

ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems Olivier Lourme,Gilles Grimaud,Michaël Hauspie 19th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob 2023), Jun 2023, Montréal, Canada. pp.84-91, ⟨10.1109/WiMob58348.2023.10187745⟩ Communication dans un congrès hal-04173958v1
Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP Infrastructure Clément Boin,Tristan Groléat,Xavier Guillaume,Gilles Grimaud,Michaël Hauspie CloudNet2023, Nov 2023, New York, United States Communication dans un congrès hal-04262657v1
One Year of DDoS Attacks Against a Cloud Provider: an Overview Clément Boin,Xavier Guillaume,Gilles Grimaud,Tristan Groléat,Michaël Hauspie 4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. ⟨10.1109/CTISC54888.2022.9849755⟩ Communication dans un congrès hal-03655003v2
Toward a realistic Intrusion Detection System dedicated to smart-home environments Olivier Lourme,Michaël Hauspie International Workshop on Selected Topics in Mobile and Wireless Computing, Oct 2021, Bologne, Italy. ⟨10.1109/WiMob52687.2021.9606337⟩ Communication dans un congrès hal-03329729v1
Bluetooth devices fingerprinting using low cost SDR Étienne Helluy-Lafont,Alexandre Boé,Gilles Grimaud,Michaël Hauspie Sixth International Workshop on Internet of Things: Networking Applications and Technologies, Jun 2020, Paris, France Communication dans un congrès hal-02498774v1
Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliances Christophe Bacara,Michaël Hauspie,Damien Deville,Gilles Grimaud Workshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. ⟨10.1145/3195258.3195262⟩ Communication dans un congrès hal-01801080v1
Proving Partial-Correctness and Invariance Properties of Transition-System Models Vlad Rusu,Gilles Grimaud,Michaël Hauspie TASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering, Aug 2018, Guangzhou, China. pp.60-67, ⟨10.1109/TASE.2018.00016⟩ Communication dans un congrès hal-01816798v1
Achieving virtualization trustworthiness using software mechanisms François Serman,Michaël Hauspie The Tenth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2016), IEEE, Jul 2016, Fukuoka, Japan Communication dans un congrès hal-01329134v1
Hypervision logicielle et défiance matérielle François Serman,Michaël Hauspie,Gilles Grimaud Conférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France Communication dans un congrès hal-01379295v1
Geographic Routing with Partial Position Information Tony Ducrocq,Michael Hauspie,Nathalie Mitton Third International Conference on Sensor Networks (SensorNets' 2014), Jan 2014, Lisbon, Portugal Communication dans un congrès hal-00912768v1
Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécurité Damien Riquet,Gilles Grimaud,Michaël Hauspie ComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse Communication dans un congrès hal-00995674v1
On the Impact of Network Topology on Wireless Sensor Networks Performances Illustration with Geographic Routing Tony Ducrocq,Michael Hauspie,Nathalie Mitton,Sara Pizzi International Workshop on the Performance Analysis and Enhancement of Wireless Networks (PAEWN), May 2014, Victoria, Canada Communication dans un congrès hal-00959921v1
DISCUS: A massively distributed IDS architecture using a DSL-based configuration Damien Riquet,Gilles Grimaud,Michaël Hauspie International Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p Communication dans un congrès hal-00996876v1
Energy-based Clustering for Wireless Sensor Network Lifetime Optimization Tony Ducrocq,Nathalie Mitton,Michaël Hauspie WCNC - Wireless Communications and Networking Conference - 2013, Apr 2013, Shanghai, China Communication dans un congrès hal-00767690v1
Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux Damien Riquet,Gilles Grimaud,Michaël Hauspie 9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012 (2012), Oct 2012, Villeneuve d'Ascq, France. 8 p Communication dans un congrès hal-00746991v1
Large-scale coordinated attacks : Impact on the cloud security Damien Riquet,Gilles Grimaud,Michaël Hauspie The Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558 Communication dans un congrès hal-00723739v1
Clustering pour l'optimisation de la durée de vie des réseaux de capteurs sans fil Tony Ducrocq,Nathalie Mitton,Michaël Hauspie 14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France Communication dans un congrès hal-00689622v1
Étude Préliminaire À Une Utilisation De Mémoires Secondaires Pour Le Stockage Des Métadonnées Java Dans Des Systèmes Contraints. Geoffroy Cogniaux,Michaël Hauspie,François-Xavier Marseille CFSE 8, 2011, Saint Malo, France. pp.11 Communication dans un congrès hal-00616865v1
Enhancing nodes cooperation in ad hoc networks Michaël Hauspie,Isabelle Simplot-Ryl WONS, Jan 2007, Obergurgl, Austria Communication dans un congrès inria-00117251v1
Cooperation in ad hoc networks: Enhancing the virtual currency based models Michaël Hauspie,Isabelle Simplot-Ryl InterSence, May 2006, Nice, France Communication dans un congrès inria-00117243v1
Localized Algorithms for Detection of Critical Nodes and Links for Connectivity in Ad hoc Networks Milenko Jorgic,Michaël Hauspie,David Simplot-Ryl,Ivan Stojmenovic Mediterranean Ad Hoc Networking Workshop, 2004, Turkey. pp.12 Communication dans un congrès hal-00616857v1
Localized probabilistic and dominating set based algorithm for efficient information dissemination in ad hoc networks Michaël Hauspie,Amandine Panier,David Simplot-Ryl Mobile Ad-Hoc and Sensors Systems, 2004, Fort Lauderdale, United States. pp.11-20 Communication dans un congrès hal-00616855v1
Partition Detection in Mobile Ad-hoc Networks Using Multiple Disjoint Paths Set Michaël Hauspie,Jean Carle,David Simplot International Workshop on Objects models and Multimedia technologies, 2003, Switzerland. pp.15 Communication dans un congrès hal-00616860v1
Partition Detection in Mobile Ad-hoc Networks Michaël Hauspie,David Simplot,Jean Carle Med-Hoc Net 2003, 2003, Mahdia, Tunisia. pp.6 Communication dans un congrès hal-00616862v1

Chapitre d'ouvrage (2)

Les systèmes d'exploitation de la carte à microprocesseur Michaël Hauspie,Gilles Grimaud Samia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135 Chapitre d'ouvrage hal-00870778v1
Les réseaux de capteurs Jean Carle,Michaël Hauspie,Nathalie Mitton,Tahiry Razafindralambo,David Simplot-Ryl CALVARY Gaëlle, DELOT Thierry, SÈDES Florence, TIGLI Jean-Yves. Informatique et intelligence ambiante : des capteurs aux applications, Hermes, 2012 Chapitre d'ouvrage hal-00721702v1

Autre publication scientifique (4)

Détection des attaques d'usurpation dans les maisons connectées par analyse du RSSI Olivier Lourme,Michaël Hauspie 2023 Autre publication scientifique hal-04193941v1
Contribution à l'adoption des IDS dans l'IoT Olivier Lourme,Michaël Hauspie 2021 Autre publication scientifique hal-03486267v1
On the Impact of Network Topology on Wireless Sensor Networks Performances - Illustration with Geographic Routing Tony Ducrocq,Michaël Hauspie,Nathalie Mitton 2013, ⟨10.1145/2507248.2507269⟩ Autre publication scientifique hal-00850924v1
How to negociate the price of packet forwarding in credit-based systems for ad-hoc networks Michaël Hauspie,Isabelle Simplot-Ryl 2005 Autre publication scientifique inria-00550379v1

Pré-publication, Document de travail (1)

Deductive Verification of a Hypervisor Model Vlad Rusu,Gilles Grimaud,Michaël Hauspie,François Serman 2017 Pré-publication, Document de travail hal-01614509v2

Rapport (1)

Localized Probabilistic Algorithm for Efficient Information Dissemination in Ad Hoc Networks Michaël Hauspie,Amandine Panier,David Simplot-Ryl [Research Report] RT-0294, INRIA. 2004, pp.9 Rapport (rapport de recherche) inria-00069886v1

Thèse (1)

Contributions à l'étude des gestionnaires de services distribués dans les réseaux ad hoc Michaël Hauspie Informatique mobile. Université des Sciences et Technologie de Lille - Lille I, 2005. Français. ⟨NNT : ⟩ Thèse tel-00656359v1

HDR (1)

Élements de conception de systèmes embarqués fortement contraints Michaël Hauspie Systèmes embarqués. Université Lille 1, 2014 HDR tel-01104105v1