Michael Hauspie
35
Documents
Presentation
Since 2012, I am co-head of the [2XS](http://cristal.univ-lille.fr/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*](http://www.cristal.univ-lille.fr/%7Ehauspie/?n=Main.HabilitationDirigerDesRecherches) 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](http://www.univ-lille1.fr)/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.
Since 2012, I am co-head of the [2XS](http://cristal.univ-lille.fr/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*](http://www.cristal.univ-lille.fr/%7Ehauspie/?n=Main.HabilitationDirigerDesRecherches) 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](http://www.univ-lille1.fr)/CNRS/INRIA Lille - Nord Europe as an associate professor in 2006.
Publications
- 13
- 7
- 6
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 2
- 5
- 4
- 4
- 1
- 1
- 1
- 2
- 3
- 2
|
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsScience of Computer Programming, 2020, 186, ⟨10.1016/j.scico.2019.102342⟩
Journal articles
hal-01962912v2
|
|
Balancing energy consumption in clustered wireless sensor networksInternational Scholarly Research Notices, 2013
Journal articles
hal-00863123v1
|
|
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⟩
Conference papers
hal-04173958v1
|
|
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⟩
Conference papers
hal-03655003v2
|
|
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⟩
Conference papers
hal-03329729v1
|
Bluetooth devices fingerprinting using low cost SDRSixth International Workshop on Internet of Things: Networking Applications and Technologies, Jun 2020, Paris, France
Conference papers
hal-02498774v1
|
|
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⟩
Conference papers
hal-01801080v1
|
|
|
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⟩
Conference papers
hal-01816798v1
|
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
Conference papers
hal-01329134v1
|
|
Hypervision logicielle et défiance matérielleConférence d’informatique en Parallélisme, Architecture et Système (Compas), Jul 2016, Lorient, France
Conference papers
hal-01379295v1
|
|
|
Geographic Routing with Partial Position InformationThird International Conference on Sensor Networks (SensorNets' 2014), Jan 2014, Lisbon, Portugal
Conference papers
hal-00912768v1
|
|
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
Conference papers
hal-00995674v1
|
|
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
Conference papers
hal-00996876v1
|
|
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
Conference papers
hal-00959921v1
|
|
Energy-based Clustering for Wireless Sensor Network Lifetime OptimizationWCNC - Wireless Communications and Networking Conference - 2013, Apr 2013, Shanghai, China
Conference papers
hal-00767690v1
|
|
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
Conference papers
hal-00746991v1
|
|
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
Conference papers
hal-00723739v1
|
|
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
Conference papers
hal-00689622v1
|
|
É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
Conference papers
hal-00616865v1
|
|
Enhancing nodes cooperation in ad hoc networksWONS, Jan 2007, Obergurgl, Austria
Conference papers
inria-00117251v1
|
|
Cooperation in ad hoc networks: Enhancing the virtual currency based modelsInterSence, May 2006, Nice, France
Conference papers
inria-00117243v1
|
|
Localized Algorithms for Detection of Critical Nodes and Links for Connectivity in Ad hoc NetworksMediterranean Ad Hoc Networking Workshop, 2004, Turkey. pp.12
Conference papers
hal-00616857v1
|
|
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
Conference papers
hal-00616855v1
|
|
Partition Detection in Mobile Ad-hoc Networks Using Multiple Disjoint Paths SetInternational Workshop on Objects models and Multimedia technologies, 2003, Switzerland. pp.15
Conference papers
hal-00616860v1
|
|
Partition Detection in Mobile Ad-hoc NetworksMed-Hoc Net 2003, 2003, Mahdia, Tunisia. pp.6
Conference papers
hal-00616862v1
|
Les systèmes d'exploitation de la carte à microprocesseurSamia Bouzefrane and Pierre Paradinas. Les cartes à puce, Hermes, 2013, 9782746239135
Book sections
hal-00870778v1
|
|
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
Book sections
hal-00721702v1
|
|
Détection des attaques d'usurpation dans les maisons connectées par analyse du RSSI2023
Other publications
hal-04193941v1
|
|
Contribution à l'adoption des IDS dans l'IoT2021
Other publications
hal-03486267v1
|
|
On the Impact of Network Topology on Wireless Sensor Networks Performances - Illustration with Geographic RoutingOther publications hal-00850924v1 |
How to negociate the price of packet forwarding in credit-based systems for ad-hoc networks2005
Other publications
inria-00550379v1
|
|
Deductive Verification of a Hypervisor Model2017
Preprints, Working Papers, ...
hal-01614509v2
|
|
Localized Probabilistic Algorithm for Efficient Information Dissemination in Ad Hoc Networks[Research Report] RT-0294, INRIA. 2004, pp.9
Reports
inria-00069886v1
|
|
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 : ⟩
Theses
tel-00656359v1
|
|
Élements de conception de systèmes embarqués fortement contraintsSystèmes embarqués. Université Lille 1, 2014
Habilitation à diriger des recherches
tel-01104105v1
|