| 2026 | ICAART | Probabilistic Alternating-Time Temporal Logic with Stochastic Abilities. | Sarra Zaghbib, Gabriel Ballot, Vadim Malvone, Jean Leneutre |
| 2025 | ECAI | Strategic Reasoning with Capacity-Constrained Agents and Imperfect Information. | Gabriel Ballot, Vadim Malvone, Jean Leneutre, Jingxuan Ma |
| 2025 | IJCAI | Coalition Obstruction Temporal Logic: A New Obstruction Logic to Reason About Demon Coalitions. | Davide Catta, Jean Leneutre, Vadim Malvone, James Ortiz |
| 2025 | IFM | Extending Timed Automata with Clock Derivatives. | David Corts, Jean Leneutre, Vadim Malvone, James Jerson Ortiz, Pierre-Yves Schobbens |
| 2024 | ICAART | A Formal Verification Approach to Handle Attack Graphs. | Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone |
| 2023 | ECAI | Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. | Davide Catta, Jean Leneutre, Vadim Malvone |
| 2023 | ICAART | A Game Theoretic Approach to Attack Graphs. | Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano |
| 2022 | CCS | Reasoning about Moving Target Defense in Attack Modeling Formalisms. | Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde |
| 2022 | SECRYPT | Threats to Adversarial Training for IDSs and Mitigation. | Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet |
| 2021 | NCA | 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 |
| 2021 | PRDC | Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. | Maxime Ayrault, Etienne Borde, Ulrich Khne, Jean Leneutre |
| 2020 | ICISSP | CoRA: A Scalable Collective Remote Attestation Protocol for Sensor Networks. | Ada Diop, Maryline Laurent, Jean Leneutre, Jacques Traor |
| 2020 | SecureComm | COOB: Hybrid Secure Device Pairing Scheme in a Hostile Environment. | Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Jingxuan Ma, Pascal Urien |
| 2019 | ANT | Authenticated and Privacy-Preserving Consent Management in the Internet of Things. | Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane Laaouane |
| 2018 | EDCC | Optimal Deployment of Security Policies: Application to Industrial Control Systems. | Ziad Ismail, Jean Leneutre, Alia Fourati |
| 2018 | Middleware | 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 |
| 2015 | ESORICS | An Attack Execution Model for Industrial Control Systems Security Assessment. | Ziad Ismail, Jean Leneutre, Alia Fourati |
| 2014 | NCA | Formal Analysis of Secure Device Pairing Protocols. | Trung Nguyen, Jean Leneutre |
| 2010 | ESORICS | A DSL for Specifying Autonomic Security Management Strategies. | Ruan He, Marc Lacoste, Jacques Pulou, Jean Leneutre |
| 2009 | ESORICS | ASRBAC: A Security Administration Model for Mobile Autonomic Networks (MAutoNets). | Mohamad Aljnidi, Jean Leneutre |
| 2009 | LCN | Efficient medium access control design for autonomous wireless networks - A game theoretic approach. | Lin Chen, Jean Leneutre |
| 2009 | SSS | Brief Announcement: An OS Architecture for Device Self-protection. | Ruan He, Marc Lacoste, Jean Leneutre |
| 2007 | ICCCN | On the Power and Rate Control in IEEE 802.11 WLANs - A Game Theoretical Approach. | Lin Chen, Jean Leneutre |
| 2007 | ICDCS | Selfishness, Not Always A Nightmare: Modeling Selfish MAC Behaviors in Wireless Mobile Ad Hoc Networks. | Lin Chen, Jean Leneutre |
| 2007 | ICNP | A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs. | Lin Chen, Jean Leneutre |