Jean Leneutre - RankMe

72 papers A* 1A 7B 7C 7Misc 2Journal 18Unranked 29

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