Yannick Chevalier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
16
Active years
2002–2024
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | JURIX | Decision Support in Law: From Formalizing Rules to Reasoning with Justification. | Jeremy Bouche-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zarat |
| 2022 | SYNASC | Deciding Whether two Codes Have the Same Ambiguities is in co-NP. | Yannick Chevalier, Michal Rusinowitch |
| 2020 | PDP | Decidability of Deterministic Process Equivalence for Finitary Deduction Systems. | Yannick Chevalier, Fabian Romero |
| 2019 | IDC | ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection. | Yannick Chevalier, Roland Rieke, Florian Fenzl, Andrey Chechulin, Igor V. Kotenko |
| 2017 | LPNMR | Self-Correcting Unsound Reasoning Agents. | Yannick Chevalier |
| 2015 | ICSOC | Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. | Tushant Jha, Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2014 | ICSOC | An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2013 | SYNASC | Fresh-Variable Automata: Application to Service Composition. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2012 | TACAS | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. | Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cullar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mdersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michal Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Vigan |
| 2011 | ESORICS | Web Services Verification and Prudent Implementation. | Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch |
| 2011 | ESORICS | Distributed Orchestration of Web Services under Security Constraints. | Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch, Mathieu Turuani |
| 2010 | CRiSIS | Satisfiability of general intruder constraints with a set constructor. | Tigran Avanesov, Yannick Chevalier, Michal Rusinowitch, Mathieu Turuani |
| 2010 | CRiSIS | An intruder model for trust negotiation. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2009 | CRiSIS | A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2008 | AIMSA | A Logical Approach to Dynamic Role-Based Access Control. | Philippe Balbiani, Yannick Chevalier, Marwa El Houri |
| 2008 | SERVICES | Automatic Composition of Services with Security Policies. | Yannick Chevalier, Mohammed Anis Mekki, Michal Rusinowitch |
| 2007 | LPAR | Verifying Cryptographic Protocols with Subterms Constraints. | Yannick Chevalier, Denis Lugiez, Michal Rusinowitch |
| 2005 | CAV | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. | Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cullar, Paul Hankes Drielsma, Pierre-Cyrille Ham, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mdersheim, David von Oheimb, Michal Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2005 | ICALP | Combining Intruder Theories. | Yannick Chevalier, Michal Rusinowitch |
| 2003 | CSL | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani, Laurent Vigneron |
| 2003 | LICS | An NP Decision Procedure for Protocol Insecurity with XOR. | Yannick Chevalier, Ralf Ksters, Michal Rusinowitch, Mathieu Turuani |
| 2002 | CAV | The AVISS Security Protocol Analysis Tool. | Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mdersheim, Michal Rusinowitch, Mathieu Turuani, Luca Vigan, Laurent Vigneron |
| 2002 | CAV | Automated Unbounded Verification of Security Protocols. | Yannick Chevalier, Laurent Vigneron |