Jean Leneutre

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 31

Top Topics

Moving Target Defense

Top Venues

Publications

Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. AAMAS (2024)
Davide Catta, Jean Leneutre, Antonina Mijatovic, Johanna Ulin, Vadim Malvone
A Formal Verification Approach to Handle Attack Graphs. ICAART (3) (2024)
Hugo Teixeira De Castro, Ahmed Hussain, Gregory Blanc, Jamal El Hachem, Dominique Blouin, Jean Leneutre, Panos Papadimitratos
A Model-based Approach for Assessing the Security of Cyber-Physical Systems. ARES (2024)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
Strategic Reasoning under Capacity-constrained Agents. AAMAS (2024)
Davide Catta, Jean Leneutre, Vadim Malvone
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
A Game Theoretic Approach to Attack Graphs. ICAART (1) (2023)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
Capacity ATL. CoRR (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Obstruction Logic: A Strategic Temporal Logic to Reason About Dynamic Game Models. ECAI (2023)
Davide Catta, Jean Leneutre, Vadim Malvone
Attack Graphs & Subset Sabotage Games. Intelligenza Artificiale 17 (1) (2023)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. CoRR (2022)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Intrinsic Weaknesses of IDSs to Malicious Adversarial Attacks and Their Mitigation. ICSBT/SECRYPT (Revised Selected Papers) (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Subset sabotage games & attack graphs. WOA (2022)
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Etienne Borde
Reasoning about Moving Target Defense in Attack Modeling Formalisms. MTD@CCS (2022)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Threats to Adversarial Training for IDSs and Mitigation. SECRYPT (2022)
Davide Catta, Jean Leneutre, Vadim Malvone
Towards a Formal Verification of Attack Graphs. IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Jean-Luc Danger, Pascal Urien
Water- PUF: An Insider Threat Resistant PUF Enrollment Protocol Based on Machine Learning Watermarking. NCA (2021)
Maxime Ayrault, Etienne Borde, Ulrich Kühne, Jean Leneutre
Moving Target Defense Strategy in Critical Embedded Systems: A Game-theoretic Approach. PRDC (2021)
Hassan Chaitou, Thomas Robert, Jean Leneutre, Laurent Pautet
Assessing adversarial training effect on IDSs and GANs. CSR (2021)
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Ivan Gazeau, Jingxuan Ma, Pascal Urien
Security Analysis of Machine Learning-Based PUF Enrollment Protocols: A Review. Sensors 21 (24) (2021)
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Jingxuan Ma, Pascal Urien
Security Analysis of Out-of-Band Device Pairing Protocols: A Survey. Wirel. Commun. Mob. Comput. 2021 (2021)
Aïda Diop, Maryline Laurent, Jean Leneutre, Jacques Traoré
CoRA: A Scalable Collective Remote Attestation Protocol for Sensor Networks. ICISSP (2020)
Sameh Khalfaoui, Jean Leneutre, Arthur Villard, Jingxuan Ma, Pascal Urien
COOB: Hybrid Secure Device Pairing Scheme in a Hostile Environment. SecureComm (2) (2020)
Nathanaël Denis, Pierre Chaffardon, Denis Conan, Maryline Laurent, Sophie Chabridon, Jean Leneutre
Privacy-preserving Content-based Publish/Subscribe with Encrypted Matching and Data Splitting. ICETE (2) (2020)
Christophe Kiennert, Ziad Ismail, Hervé Debar, Jean Leneutre
A Survey on Game-Theoretic Approaches for Intrusion Detection and Response Optimization. ACM Comput. Surv. 51 (5) (2019)
Maryline Laurent, Jean Leneutre, Sophie Chabridon, Imane Laaouane
Authenticated and Privacy-Preserving Consent Management in the Internet of Things. ANT/EDI40 (2019)
Aïda Diop, Saïd Gharout, Maryline Laurent, Jean Leneutre, Jacques Traoré
Questioning the security and efficiency of the ESIoT approach. WISEC (2018)
Ziad Ismail, Jean Leneutre, Alia Fourati
Optimal Deployment of Security Policies: Application to Industrial Control Systems. EDCC (2018)
Stevan Coroller, Sophie Chabridon, Maryline Laurent, Denis Conan, Jean Leneutre
Position paper: Towards End-to-end Privacy for Publish/Subscribe Architectures in the Internet of Things. M4IoT@Middleware (2018)
Ziad Ismail, Christophe Kiennert, Jean Leneutre, Lin Chen
A Game Theoretical Model for Optimal Distribution of Network Security Resources. GameSec (2017)
Ziad Ismail, Christophe Kiennert, Jean Leneutre, Lin Chen
Auditing a Cloud Provider's Compliance With Data Backup Requirements: A Game Theoretical Analysis. IEEE Trans. Inf. Forensics Secur. 11 (8) (2016)
Ziad Ismail, Jean Leneutre, David Bateman, Lin Chen
A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures. GameSec (2016)
Ziad Ismail, Jean Leneutre, David Bateman, Lin Chen
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures. HASE (2015)
Ziad Ismail, Jean Leneutre, Alia Fourati
An Attack Execution Model for Industrial Control Systems Security Assessment. CyberICS/WOS-CPS@ESORICS (2015)
Trung Nguyen, Jean Leneutre
A secure and effective device pairing protocol. CCNC (2015)
Ziad Ismail, Jean Leneutre, David Bateman, Lin Chen
A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI. IEEE J. Sel. Areas Commun. 32 (7) (2014)
Brahim Djebaili, Christophe Kiennert, Jean Leneutre, Lin Chen
Data Integrity and Availability Verification Game in Untrusted Cloud Storage. GameSec (2014)
Trung Nguyen, Jean Leneutre
Formal Analysis of Secure Device Pairing Protocols. NCA (2014)
Nouha Oualha, Jean Leneutre, Yves Roudier
Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols. Peer-to-Peer Netw. Appl. 5 (3) (2012)
Lin Chen, Lavy Libman, Jean Leneutre
Conflicts and Incentives in Wireless Cooperative Relaying: A Distributed Market Pricing Framework. IEEE Trans. Parallel Distributed Syst. 22 (5) (2011)
Lin Chen, Jean Leneutre
Fight jamming with jamming - A game theoretic analysis of jamming attack in wireless networks and defense strategy. Comput. Networks 55 (9) (2011)
Ruan He, Marc Lacoste, Jacques Pulou, Jean Leneutre
A DSL for Specifying Autonomic Security Management Strategies. DPM/SETOP (2010)
Ruan He, Marc Lacoste, Jean Leneutre
Virtual Security Kernel: A Component-Based OS Architecture for Self-Protection. CIT (2010)
Ruan He, Marc Lacoste, Jean Leneutre
A Policy Management Framework for Self-Protection of Pervasive Systems. ICAS (2010)
Ruan He, Marc Lacoste, Jean Leneutre
Brief Announcement: An OS Architecture for Device Self-protection. SSS (2009)
Mohamad Aljnidi, Jean Leneutre
ASRBAC: A Security Administration Model for Mobile Autonomic Networks (MAutoNets). DPM/SETOP (2009)
Lin Chen, Jean Leneutre
Efficient medium access control design for autonomous wireless networks - A game theoretic approach. LCN (2009)
Lin Chen, Jean Leneutre
A game theoretical framework on intrusion detection in heterogeneous networks. IEEE Trans. Inf. Forensics Secur. 4 (2) (2009)
Lin Chen, Jean Leneutre
On Multipath Routing in Multihop Wireless Networks: Security, Performance, and Their Tradeoff. EURASIP J. Wirel. Commun. Netw. 2009 (2009)
Lin Chen, Jean Leneutre
A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs. IEEE J. Sel. Areas Commun. 26 (7) (2008)
Mohamad Aljnidi, Jean Leneutre
Towards an Autonomic Security System for Mobile Ad Hoc Networks. IAS (2007)
Lin Chen, Jean Leneutre
Selfishness, Not Always A Nightmare: Modeling Selfish MAC Behaviors in Wireless Mobile Ad Hoc Networks. ICDCS (2007)
Lin Chen, Jean Leneutre
A Game Theoretic Framework of Distributed Power and Rate Control in IEEE 802.11 WLANs. ICNP (2007)
Mohamad Aljnidi, Jean Leneutre
A security policy system for mobile autonomic networks. Autonomics (2007)
Lin Chen, Jean Leneutre
Toward secure and scalable time synchronization in ad hoc networks. Comput. Commun. 30 (11-12) (2007)
Lin Chen, Jean Leneutre
On the Power and Rate Control in IEEE 802.11 WLANs - A Game Theoretical Approach. ICCCN (2007)
Lin Chen, Jean Leneutre, Jean-Jacques Puig
A Secure and Efficient Link State Routing Protocol for Ad Hoc Networks. ICWMC (2006)
Lin Chen, Jean Leneutre
A Secure and Scalable Time Synchronization Protocol in IEEE 802.11 Ad Hoc Networks. ICPP Workshops (2006)
Lin Chen, Xiaoyun Xue, Jean Leneutre
A Lightweight Mechanism to Secure OLSR. IMECS (2006)
Mohamad Aljnidi, Jean Leneutre
Autonomic Security for Home Networks. IWSOS/EuroNGI (2006)
Xiaoyun Xue, Jean Leneutre, Jalel Ben-Othman
A Trust-Based Routing Protocol for Ad Hoc Networks. MWCN (2004)