Yannick Chevalier

64 papers A* 6A 1B 2C 5Misc 4Journal 25Unranked 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	FairTranslate: An English-French Dataset for Gender Bias Evaluation in Machine Translation by Overcoming Gender Binarity. CoRR Fanny Jourdan, Yannick Chevalier, Cécile Favre
2025	—	`conf`	FairTranslate: an English-French Dataset for Gender Bias Evaluation in Machine Translation by Overcoming Gender Binarity. FAccT Fanny Jourdan, Yannick Chevalier, Cécile Favre
2024	—	`conf`	An ontology for legal reasoning on data sharing and processing between law enforcement agencies. JOWO Jeremy Bouche-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zaraté
2024	C	`conf`	Decision Support in Law: From Formalizing Rules to Reasoning with Justification. JURIX Jeremy Bouche-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zaraté
2023	—	`conf`	Éléments d'état de l'art sur l'extraction et la modélisation de règles formelles à partir de textes légaux. IC Jeremy Bouche-Pillon, Nathalie Aussenac-Gilles, Pascale Zaraté, Yannick Chevalier, Pierre-Yves Gicquel
2022	Misc	`conf`	Deciding Whether two Codes Have the Same Ambiguities is in co-NP. SYNASC Yannick Chevalier, Michaël Rusinowitch
2021	—	`conf`	Implementing Security Protocol Monitors. SCSS Yannick Chevalier, Michaël Rusinowitch
2020	J	`jnl`	Continuous fields: Enhanced in-vehicle anomaly detection using machine learning models. Simul. Model. Pract. Theory Florian Fenzl, Roland Rieke, Yannick Chevalier, Andreas Dominik, Igor V. Kotenko
2020	C	`conf`	Decidability of Deterministic Process Equivalence for Finitary Deduction Systems. PDP Yannick Chevalier, Fabian Romero
2020	J	`jnl`	Design and verification of a mobile robot based on the integrated model of cyber-Physical systems. Simul. Model. Pract. Theory Dmitry Levshun, Yannick Chevalier, Igor V. Kotenko, Andrey Chechulin
2019	—	`conf`	Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems. NTMS Dmitry Levshun, Andrey Chechulin, Igor V. Kotenko, Yannick Chevalier
2019	Misc	`conf`	ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection. IDC Yannick Chevalier, Roland Rieke, Florian Fenzl, Andrey Chechulin, Igor V. Kotenko
2018	J	`jnl`	A visual analytics approach for the cyber forensics based on different views of the network traffic. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Igor V. Kotenko, Maxim Kolomeets, Andrey Chechulin, Yannick Chevalier
2017	J	`jnl`	Intruder deducibility constraints with negation. Decidability and application to secured service compositions. J. Symb. Comput. Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2017	J	`jnl`	Satisfiability of general intruder constraints with and without a set constructor. J. Symb. Comput. Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2017	—	`conf`	Self-Correcting Unsound Reasoning Agents. DARe@LPNMR Yannick Chevalier
2015	—	`conf`	Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. ICSOC Workshops Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2015	J	`jnl`	Parametrized automata simulation and application to service composition. J. Symb. Comput. Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2014	—	`conf`	An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. ICSOC Workshops Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2014	J	`jnl`	KEDGEN2: A key establishment and derivation protocol for EPC Gen2 RFID systems. J. Netw. Comput. Appl. Wiem Tounsi, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Yannick Chevalier, Frédéric Cuppens
2013	J	`jnl`	Fresh-Variable Automata for Service Composition CoRR Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2013	Misc	`conf`	Fresh-Variable Automata: Application to Service Composition. SYNASC Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2013	J	`jnl`	Guarded Variable Automata over Infinite Alphabets CoRR Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
2012	J	`jnl`	Automated Synthesis of a Finite Complexity Ordering for Saturation CoRR Yannick Chevalier, Mounira Kourjieh
2012	J	`jnl`	Decidability of Equivalence of Symbolic Derivations. J. Autom. Reason. Yannick Chevalier, Michaël Rusinowitch
2012	J	`jnl`	Intruder deducibility constraints with negation. Decidability and application to secured service compositions CoRR Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2012	A	`conf`	The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò
2012	—	`conf`	Towards the Orchestration of Secured Services under Non-disclosure Policies. MMM-ACNS Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2011	—	`conf`	Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
2011	J	`jnl`	Finitary Deduction Systems CoRR Yannick Chevalier
2011	J	`jnl`	Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2011	—	`conf`	Web Services Verification and Prudent Implementation. DPM/SETOP Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2010	C	`conf`	An intruder model for trust negotiation. CRiSIS Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2010	J	`jnl`	Compiling and securing cryptographic protocols. Inf. Process. Lett. Yannick Chevalier, Michaël Rusinowitch
2010	—	`conf`	Orchestration under Security Constraints. FMCO Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2010	C	`conf`	Satisfiability of general intruder constraints with a set constructor. CRiSIS Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
2010	J	`jnl`	Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures. Theor. Comput. Sci. Yannick Chevalier, Michaël Rusinowitch
2009	C	`conf`	A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. CRiSIS Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2009	J	`jnl`	Compiling and securing cryptographic protocols CoRR Yannick Chevalier, Michaël Rusinowitch
2009	J	`jnl`	On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) CoRR Yannick Chevalier, Mounira Kourjieh
2008	Misc	`conf`	A Logical Approach to Dynamic Role-Based Access Control. AIMSA Philippe Balbiani, Yannick Chevalier, Marwa El Houri
2008	—	`conf`	Automatic Composition of Services with Security Policies. SERVICES I Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
2008	J	`jnl`	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2008	J	`jnl`	Hierarchical combination of intruder theories. Inf. Comput. Yannick Chevalier, Michaël Rusinowitch
2007	J	`jnl`	Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR Yannick Chevalier, Mounira Kourjieh
2007	—	`conf`	Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS Yannick Chevalier, Mounira Kourjieh
2007	—	`conf`	Towards an Automatic Analysis of Web Service Security. FroCoS Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
2007	B	`conf`	Verifying Cryptographic Protocols with Subterms Constraints. LPAR Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch
2006	J	`jnl`	A Symbolic Intruder Model for Hash-Collision Attacks CoRR Yannick Chevalier, Mounira Kourjieh
2006	—	`conf`	A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN Yannick Chevalier, Mounira Kourjieh
2006	—	`conf`	Hierarchical Combination of Intruder Theories. RTA Yannick Chevalier, Michaël Rusinowitch
2005	J	`jnl`	An NP decision procedure for protocol insecurity with XOR. Theor. Comput. Sci. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2005	A*	`conf`	Combining Intruder Theories. ICALP Yannick Chevalier, Michaël Rusinowitch
2005	A*	`conf`	The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2004	—	`conf`	Deciding the Security of Protocols with Commuting Public Key Encryption. ARSPA@IJCAR Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2004	—	`conf`	Rule-based Programs Describing Internet Security Protocols. RULE@RDP Yannick Chevalier, Laurent Vigneron
2004	J	`jnl`	Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. Yannick Chevalier, Laurent Vigneron
2003	A*	`conf`	An NP Decision Procedure for Protocol Insecurity with XOR. LICS Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003	—	`conf`	Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FSTTCS Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
2003	B	`conf`	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron
2003	—	`—`	Résolution de problèmes d'accessiblité pour la compilation et la validation de protocoles cryptographiques. Yannick Chevalier
2002	A*	`conf`	Automated Unbounded Verification of Security Protocols. CAV Yannick Chevalier, Laurent Vigneron
2002	A*	`conf`	The AVISS Security Protocol Analysis Tool. CAV Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron
2001	A*	`conf`	A Tool for Lazy Verification of Security Protocols. ASE Yannick Chevalier, Laurent Vigneron