Gurvan Le Guernic

24 papers A* 2A 2B 2C 2Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — ed.
Proceedings of the 32nd Computer & Electronics Security Application Rendezvous (C&ESAR 2025) co-located with the 10th European Cyber Week (ECW 2025), Rennes, France, November 19-20, 2025.
C&ESAR
Gurvan Le Guernic
2024 — ed.
Proceedings of the 30th Computer & Electronics Security Application Rendezvous Conference (C&ESAR 2023) co-located with the 8th European Cyber Week (ECW 2023), Rennes, France, November 21-22, 2023.
C&ESAR
Gurvan Le Guernic
2023 B conf
Adaptive Structural Operational Semantics.
SLE
Gwendal Jouneaux, Damian Frölich, Olivier Barais, Benoît Combemale, Gurvan Le Guernic, Gunter Mussbacher, L. Thomas van Binsbergen
2023 — ed.
Proceedings of the 29th Computer & Electronics Security Application Rendezvous co-located with the 7th European Cyber Week (ECW 2022), Rennes, France, November 15-16, 2022.
C&ESAR
Gurvan Le Guernic
2021 — conf
From Monolithic to Microservice Architecture: The Case of Extensible and Domain-Specific IDEs.
MoDELS (Companion)
Romain Belafia, Pierre Jeanjean, Olivier Barais, Gurvan Le Guernic, Benoît Combemale
2020 — conf
A language agnostic approach to modeling requirements: specification and verification.
MoDELS (Companion)
Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic
2020 J jnl
Automatic Generation of Truffle-based Interpreters for Domain-Specific Languages.
J. Object Technol.
Manuel Leduc, Gwendal Jouneaux, Thomas Degueule, Gurvan Le Guernic, Olivier Barais, Benoît Combemale
2019 — conf
Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering framework.
DSM@SPLASH
Gurvan Le Guernic
2018 C conf
USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework.
ICICS
Xiaoshu Ji, Gurvan Le Guernic, Nora Cuppens-Boulahia, Frédéric Cuppens
2016 — conf
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework.
F-IDE@FM
Gurvan Le Guernic, Benoît Combemale, José Angel Galindo
2016 C conf
Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models.
MODELSWARD
Gurvan Le Guernic
2016 B conf
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages.
ICSR
David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic
2014 — conf
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft.
ESSS
Gurvan Le Guernic
2012 A conf
ENCoVer: Symbolic Exploration for Information Flow Security.
CSF
Musard Balliu, Mads Dam, Gurvan Le Guernic
2012 J jnl
Epistemic Temporal Logic for Information Flow Security
CoRR
Musard Balliu, Mads Dam, Gurvan Le Guernic
2012 A* conf
TreeDroid: a tree automaton based approach to enforcing data processing policies.
CCS
Mads Dam, Gurvan Le Guernic, Andreas Lundblad
2011 — conf
Epistemic temporal logic for information flow security.
PLAS
Musard Balliu, Mads Dam, Gurvan Le Guernic
2009 A* conf
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.
CCS
Cédric Fournet, Gurvan Le Guernic, Tamara Rezk
2008 — conf
Precise Dynamic Verification of Confidentiality.
VERIFY
Gurvan Le Guernic
2007 A conf
Automaton-based Confidentiality Monitoring of Concurrent Programs.
CSF
Gurvan Le Guernic
2007 — —
Confidentiality Enforcement Using Dynamic Information Flow Analyses.
Gurvan Le Guernic
2007 — conf
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS.
RULE@RDP
Gurvan Le Guernic, Julien Perret
2007 — conf
Information Flow Testing.
ASIAN
Gurvan Le Guernic
2006 — conf
Automata-Based Confidentiality Monitoring.
ASIAN
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt