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
Publications
|
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsScience of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩ |
|
|
Balancing energy consumption in clustered wireless sensor networksInternational Scholarly Research Notices, 2013 |
|
|
ZBDS2023: A multi location Zigbee dataset to build innovative IoT Intrusion Detection Systems19th 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⟩ |
|
|
Scale matters: a Comparative Study of Datasets for DDoS Attack Detection in CSP InfrastructureCloudNet2023, Nov 2023, New York, United States |
|
|
One Year of DDoS Attacks Against a Cloud Provider: an Overview4th International Conference on Advances in Computer Technology, Information Science and Communications, Apr 2022, Suzhou, China. ⟨10.1109/CTISC54888.2022.9849755⟩ |
|
|
Toward a realistic Intrusion Detection System dedicated to smart-home environmentsInternational Workshop on Selected Topics in Mobile and Wireless Computing, Oct 2021, Bologne, Italy. ⟨10.1109/WiMob52687.2021.9606337⟩ |
|
|
Bluetooth devices fingerprinting using low cost SDRSixth International Workshop on Internet of Things: Networking Applications and Technologies, Jun 2020, Paris, France |
Challenges for the design of a privacy-preserving, multi-domain telemetry system for widely-spread network security appliancesWorkshop on Privacy by Design in Distributed Systems W-P2DS, Apr 2018, Porto, Portugal. ⟨10.1145/3195258.3195262⟩ |
|
|
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsTASE 2018 - 12th International Symposium on Theoretical Aspects of Software Engineering, Aug 2018, Guangzhou, China. pp.60-67, ⟨10.1109/TASE.2018.00016⟩ |
Achieving virtualization trustworthiness using software mechanismsThe Tenth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS-2016), IEEE, Jul 2016, Fukuoka, Japan |
|
Hypervision logicielle et défiance matérielleConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France |
|
|
|
Geographic Routing with Partial Position InformationThird International Conference on Sensor Networks (SensorNets' 2014), Jan 2014, Lisbon, Portugal |
|
|
Un langage pour la configuration de DISCUS, une architecture distribuée de solutions de sécuritéComPAS 2014 : conférence en parallélisme, architecture et systèmes, Apr 2014, Neuchâtel, Suisse |
|
|
On the Impact of Network Topology on Wireless Sensor Networks Performances Illustration with Geographic RoutingInternational Workshop on the Performance Analysis and Enhancement of Wireless Networks (PAEWN), May 2014, Victoria, Canada |
|
|
DISCUS: A massively distributed IDS architecture using a DSL-based configurationInternational Conference on Information Science, Electronics and Electrical Engineering, Apr 2014, Sapporo, Japan. 5 p |
|
|
Energy-based Clustering for Wireless Sensor Network Lifetime OptimizationWCNC - Wireless Communications and Networking Conference - 2013, Apr 2013, Shanghai, China |
|
|
Etude de l'impact des attaques distribuées et multi-chemins sur les solutions de sécurité réseaux9è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 |
|
|
Large-scale coordinated attacks : Impact on the cloud securityThe Second International Workshop on Mobile Commerce, Cloud Computing, Network and Communication Security 2012, Jul 2012, Palermo, Italy. pp.558 |
|
|
Clustering pour l'optimisation de la durée de vie des réseaux de capteurs sans fil14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France |
|
|
Étude Préliminaire À Une Utilisation De Mémoires Secondaires Pour Le Stockage Des Métadonnées Java Dans Des Systèmes Contraints.CFSE 8, 2011, Saint Malo, France. pp.11 |
|
|
Enhancing nodes cooperation in ad hoc networksWONS, Jan 2007, Obergurgl, Austria |
|
|
Cooperation in ad hoc networks: Enhancing the virtual currency based modelsInterSence, May 2006, Nice, France |
|
|
Localized Algorithms for Detection of Critical Nodes and Links for Connectivity in Ad hoc NetworksMediterranean Ad Hoc Networking Workshop, 2004, Turkey. pp.12 |
|
|
Localized probabilistic and dominating set based algorithm for efficient information dissemination in ad hoc networksMobile Ad-Hoc and Sensors Systems, 2004, Fort Lauderdale, United States. pp.11-20 |
|
|
Partition Detection in Mobile Ad-hoc Networks Using Multiple Disjoint Paths SetInternational Workshop on Objects models and Multimedia technologies, 2003, Switzerland. pp.15 |
|
|
Partition Detection in Mobile Ad-hoc NetworksMed-Hoc Net 2003, 2003, Mahdia, Tunisia. pp.6 |
Les systèmes d'exploitation de la carte à microprocesseurSamia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135 |
|
Les réseaux de capteursCALVARY Gaëlle, DELOT Thierry, SÈDES Florence, TIGLI Jean-Yves. Informatique et intelligence ambiante : des capteurs aux applications, Hermes, 2012 |
|
|
Détection des attaques d'usurpation dans les maisons connectées par analyse du RSSI2023 |
|
|
Contribution à l'adoption des IDS dans l'IoT2021 |
|
|
On the Impact of Network Topology on Wireless Sensor Networks Performances - Illustration with Geographic RoutingAutre publication scientifique hal-00850924v1 |
How to negociate the price of packet forwarding in credit-based systems for ad-hoc networks2005 |
|
|
Deductive Verification of a Hypervisor Model2017 |
|
|
Localized Probabilistic Algorithm for Efficient Information Dissemination in Ad Hoc Networks[Research Report] RT-0294, INRIA. 2004, pp.9 |
|
|
Contributions à l'étude des gestionnaires de services distribués dans les réseaux ad hocInformatique mobile. Université des Sciences et Technologie de Lille - Lille I, 2005. Français. ⟨NNT : ⟩ |
|
|
Élements de conception de systèmes embarqués fortement contraintsSystèmes embarqués. Université Lille 1, 2014 |