A Trust-Based Routing Protocol for Ad Hoc Networks. - Xiaoyun Xue; Jean Leneutre; Jalel Ben-Othman (MWCN, 2004)

Autonomic Security for Home Networks. - Mohamad Aljnidi; Jean Leneutre (IWSOS/EuroNGI, 2006)

A Secure and Scalable Time Synchronization Protocol in IEEE 802.11 Ad Hoc Networks. - Lin Chen 002; Jean Leneutre (ICPP Workshops, 2006)

A Secure and Efficient Link State Routing Protocol for Ad Hoc Networks. - Lin Chen 002; Jean Leneutre; Jean-Jacques Puig (ICWMC, 2006)

A Lightweight Mechanism to Secure OLSR. - Lin Chen 002; Xiaoyun Xue; Jean Leneutre (IMECS, 2006)

Towards an Autonomic Security System for Mobile Ad Hoc Networks. - Mohamad Aljnidi; Jean Leneutre (IAS, 2007)

A security policy system for mobile autonomic networks. - Mohamad Aljnidi; Jean Leneutre (Autonomics, 2007)

On the Power and Rate Control in IEEE 802.11 WLANs - A Game Theoretical Approach. - Lin Chen 002; Jean Leneutre (ICCCN, 2007)

Selfishness, Not Always A Nightmare: Modeling Selfish MAC Behaviors in Wireless Mobile Ad Hoc Networks. - Lin Chen 002; Jean Leneutre (ICDCS, 2007)

Toward secure and scalable time synchronization in ad hoc networks. - Lin Chen 002; Jean Leneutre (Comput. Commun., 2007)

A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs. - Lin Chen 002; Jean Leneutre (IEEE J. Sel. Areas Commun., 2008)

ASRBAC: A Security Administration Model for Mobile Autonomic Networks (MAutoNets). - Mohamad Aljnidi; Jean Leneutre (DPM/SETOP, 2009)

Efficient medium access control design for autonomous wireless networks - A game theoretic approach. - Lin Chen 002; Jean Leneutre (LCN, 2009)

Brief Announcement: An OS Architecture for Device Self-protection. - Ruan He; Marc Lacoste; Jean Leneutre (SSS, 2009)

On Multipath Routing in Multihop Wireless Networks: Security, Performance, and Their Tradeoff. - Lin Chen 002; Jean Leneutre (EURASIP J. Wirel. Commun. Netw., 2009)

A game theoretical framework on intrusion detection in heterogeneous networks. - Lin Chen 002; Jean Leneutre (IEEE Trans. Inf. Forensics Secur., 2009)

Virtual Security Kernel: A Component-Based OS Architecture for Self-Protection. - Ruan He; Marc Lacoste; Jean Leneutre (CIT, 2010)

A DSL for Specifying Autonomic Security Management Strategies. - Ruan He; Marc Lacoste; Jacques Pulou; Jean Leneutre (DPM/SETOP, 2010)

A Policy Management Framework for Self-Protection of Pervasive Systems. - Ruan He; Marc Lacoste; Jean Leneutre (ICAS, 2010)

Fight jamming with jamming - A game theoretic analysis of jamming attack in wireless networks and defense strategy. - Lin Chen 002; Jean Leneutre (Comput. Networks, 2011)

Conflicts and Incentives in Wireless Cooperative Relaying: A Distributed Market Pricing Framework. - Lin Chen 002; Lavy Libman; Jean Leneutre (IEEE Trans. Parallel Distributed Syst., 2011)

Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols. - Nouha Oualha; Jean Leneutre; Yves Roudier (Peer-to-Peer Netw. Appl., 2012)

Data Integrity and Availability Verification Game in Untrusted Cloud Storage. - Brahim Djebaili; Christophe Kiennert; Jean Leneutre; Lin Chen 002 (GameSec, 2014)

Formal Analysis of Secure Device Pairing Protocols. - Trung Nguyen; Jean Leneutre (NCA, 2014)

A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI. - Ziad Ismail; Jean Leneutre; David Bateman; Lin Chen 002 (IEEE J. Sel. Areas Commun., 2014)

A secure and effective device pairing protocol. - Trung Nguyen; Jean Leneutre (CCNC, 2015)

An Attack Execution Model for Industrial Control Systems Security Assessment. - Ziad Ismail; Jean Leneutre; Alia Fourati (CyberICS/WOS-CPS@ESORICS, 2015)

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures. - Ziad Ismail; Jean Leneutre; David Bateman; Lin Chen 002 (HASE, 2015)

A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures. - Ziad Ismail; Jean Leneutre; David Bateman; Lin Chen 002 (GameSec, 2016)

Auditing a Cloud Provider's Compliance With Data Backup Requirements: A Game Theoretical Analysis. - Ziad Ismail; Christophe Kiennert; Jean Leneutre; Lin Chen 002 (IEEE Trans. Inf. Forensics Secur., 2016)

A Game Theoretical Model for Optimal Distribution of Network Security Resources. - Ziad Ismail; Christophe Kiennert; Jean Leneutre; Lin Chen 002 (GameSec, 2017)

Optimal Deployment of Security Policies: Application to Industrial Control Systems. - Ziad Ismail; Jean Leneutre; Alia Fourati (EDCC, 2018)

Position paper: Towards End-to-end Privacy for Publish/Subscribe Architectures in the Internet of Things. - Stevan Coroller; Sophie Chabridon; Maryline Laurent; Denis Conan; Jean Leneutre (M4IoT@Middleware, 2018)

Questioning the security and efficiency of the ESIoT approach. - Aïda Diop; Saïd Gharout; Maryline Laurent; Jean Leneutre; Jacques Traoré (WISEC, 2018)

Authenticated and Privacy-Preserving Consent Management in the Internet of Things. - Maryline Laurent; Jean Leneutre; Sophie Chabridon; Imane Laaouane (ANT/EDI40, 2019)

A Survey on Game-Theoretic Approaches for Intrusion Detection and Response Optimization. - Christophe Kiennert; Ziad Ismail; Hervé Debar; Jean Leneutre (ACM Comput. Surv., 2019)

Privacy-preserving Content-based Publish/Subscribe with Encrypted Matching and Data Splitting. - Nathanaël Denis; Pierre Chaffardon; Denis Conan; Maryline Laurent; Sophie Chabridon; Jean Leneutre (ICETE (2), 2020)

CoRA: A Scalable Collective Remote Attestation Protocol for Sensor Networks. - Aïda Diop; Maryline Laurent; Jean Leneutre; Jacques Traoré (ICISSP, 2020)

COOB: Hybrid Secure Device Pairing Scheme in a Hostile Environment. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Jingxuan Ma; Pascal Urien (SecureComm (2), 2020)

Assessing adversarial training effect on IDSs and GANs. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (CSR, 2021)

Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Ivan Gazeau; Jingxuan Ma; Jean-Luc Danger; Pascal Urien (NCA, 2021)

Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. - Maxime Ayrault; Etienne Borde; Ulrich Kühne; Jean Leneutre (PRDC, 2021)

Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Ivan Gazeau; Jingxuan Ma; Pascal Urien (Sensors, 2021)

Security Analysis of Out-of-Band Device Pairing Protocols: A Survey. - Sameh Khalfaoui; Jean Leneutre; Arthur Villard; Jingxuan Ma; Pascal Urien (Wirel. Commun. Mob. Comput., 2021)

Towards a Formal Verification of Attack Graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

Reasoning about Moving Target Defense in Attack Modeling Formalisms. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Etienne Borde (MTD@CCS, 2022)

Intrinsic Weaknesses of IDSs to Malicious Adversarial Attacks and Their Mitigation. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (ICSBT/SECRYPT (Revised Selected Papers), 2022)

Threats to Adversarial Training for IDSs and Mitigation. - Hassan Chaitou; Thomas Robert 003; Jean Leneutre; Laurent Pautet (SECRYPT, 2022)

Subset sabotage games & attack graphs. - Davide Catta; Jean Leneutre; Vadim Malvone (WOA, 2022)

Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). - Davide Catta; Jean Leneutre; Vadim Malvone (IPS-RCRA-SPIRIT@AI*IA, 2023)

Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. - Davide Catta; Jean Leneutre; Vadim Malvone (ECAI, 2023)

A Game Theoretic Approach to Attack Graphs. - Davide Catta; Antonio Di Stasio 001; Jean Leneutre; Vadim Malvone; Aniello Murano (ICAART (1), 2023)

Capacity ATL. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (CoRR, 2023)

Attack Graphs & Subset Sabotage Games. - Davide Catta; Jean Leneutre; Vadim Malvone (Intelligenza Artificiale, 2023)

A Model-based Approach for Assessing the Security of Cyber-Physical Systems. - Hugo Teixeira De Castro; Ahmed Hussain; Gregory Blanc; Jamal El Hachem; Dominique Blouin; Jean Leneutre; Panos Papadimitratos (ARES, 2024)

Strategic Reasoning under Capacity-constrained Agents. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Youssef Laarouchi (AAMAS, 2024)

Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. - Davide Catta; Jean Leneutre; Vadim Malvone; Aniello Murano (AAMAS, 2024)

A Formal Verification Approach to Handle Attack Graphs. - Davide Catta; Jean Leneutre; Antonina Mijatovic; Johanna Ulin; Vadim Malvone (ICAART (3), 2024)

Reasoning about Real-Time and Probability on Obstruction Logic. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AI4CC-IPS-RCRA-SPIRIT@AI*IA, 2024)

Probabilistic Obstruction Temporal Logic: a Probabilistic Logic to Reason about Dynamic Models. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (CoRR, 2024)

Alternating-time Temporal Logic with Stochastic Abilities. - Gabriel Ballot; Vadim Malvone; Jean Leneutre; Jingxuan Ma; Mourad Leslous (AAMAS, 2025)

Timed Obstruction Logic: A Timed Approach to Dynamic Game Reasoning. - Jean Leneutre; Vadim Malvone; James Ortiz 001 (AAMAS, 2025)