Follow
Gurvan Le Guernic
Gurvan Le Guernic
Inria, France
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Automata-based confidentiality monitoring
G Le Guernic, A Banerjee, T Jensen, DA Schmidt
Annual Asian Computing Science Conference, 75-89, 2006
1762006
Automaton-based confidentiality monitoring of concurrent programs
G Le Guernic
20th IEEE Computer Security Foundations Symposium (CSF'07), 218-232, 2007
1062007
Confidentiality enforcement using dynamic information flow analyses
G Le Guernic
Kansas State University, 2007
752007
Confidentiality enforcement using dynamic information flow analyses
G Le Guernic
Kansas State University, 2007
752007
Epistemic temporal logic for information flow security
M Balliu, M Dam, G Le Guernic
Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and …, 2011
722011
A security-preserving compiler for distributed programs: From information-flow policies to cryptographic mechanisms
C Fournet, G Le Guernic, T Rezk
Proceedings of the 16th ACM conference on Computer and communications …, 2009
502009
Encover: Symbolic exploration for information flow security
M Balliu, M Dam, G Le Guernic
2012 IEEE 25th Computer Security Foundations Symposium, 30-44, 2012
452012
Monitoring information flow
G Le Guernic, T Jensen
Proc. Workshop on Foundations of Computer Security, 19-30, 2005
382005
TreeDroid: a tree automaton based approach to enforcing data processing policies
M Dam, G Le Guernic, A Lundblad
Proceedings of the 2012 ACM conference on Computer and communications …, 2012
312012
Precise Dynamic Verification of Confidentiality.
G Le Guernic
VERIFY, 2008
212008
Reverse-engineering reusable language modules from legacy domain-specific languages
D Méndez-Acuña, JA Galindo, B Combemale, A Blouin, B Baudry, ...
Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
142016
Information flow testing: The third path towards confidentiality guarantee
G Le Guernic
Annual Asian Computing Science Conference, 33-47, 2007
122007
Automaton-based non-interference monitoring
G Le Guernic, A Banerjee, D Schmidt
72006
From monolithic to microservice architecture: the case of extensible and domain-specific IDEs
R Belafia, P Jeanjean, O Barais, G Le Guernic, B Combemale
2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021
62021
Precise dynamic verification of noninterference
G Le Guernic
42008
Automaton-based Non-interference Monitoring of Concurrent Programs
G Le Guernic
42007
Experience report on the development of a specialized multi-view multi-stakeholder model-based engineering framework
G Le Guernic
Proceedings of the 17th ACM SIGPLAN International Workshop on Domain …, 2019
32019
Système de recherche de méthodes Java basé sur leur signature
N Bonnel, G Le Guernic
4e Manifestation des Jeunes Chercheurs en Sciences et Technologies de l …, 2006
32006
FL-system's Intelligent Cache
G Le Guernic, J Perret
MajecSTIC 2005: Manifestation des Jeunes Chercheurs francophones dans les …, 2005
32005
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
M Leduc, G Jouneaux, T Degueule, G Le Guernic, O Barais, ...
The Journal of Object Technology 19 (2), 1-21, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20