| Automata-based confidentiality monitoring G Le Guernic, A Banerjee, T Jensen, DA Schmidt Annual Asian Computing Science Conference, 75-89, 2006 | 176 | 2006 |
| Automaton-based confidentiality monitoring of concurrent programs G Le Guernic 20th IEEE Computer Security Foundations Symposium (CSF'07), 218-232, 2007 | 106 | 2007 |
| Confidentiality enforcement using dynamic information flow analyses G Le Guernic Kansas State University, 2007 | 74 | 2007 |
| 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 | 73 | 2011 |
| 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 | 50 | 2009 |
| Encover: Symbolic exploration for information flow security M Balliu, M Dam, G Le Guernic 2012 IEEE 25th Computer Security Foundations Symposium, 30-44, 2012 | 45 | 2012 |
| Monitoring information flow G Le Guernic, T Jensen Workshop on Foundations of Computer Security-FCS'05, 19--30, 2005 | 37 | 2005 |
| 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 | 31 | 2012 |
| Precise dynamic verification of confidentiality G Le Guernic 5th International Verification Workshop–VERIFY’08, 82, 2008 | 21 | 2008 |
| 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 | 12 | 2016 |
| Information flow testing: The third path towards confidentiality guarantee G Le Guernic Annual Asian Computing Science Conference, 33-47, 2007 | 12 | 2007 |
| Automaton-based non-interference monitoring G Le Guernic, A Banerjee, D Schmidt | 7 | 2006 |
| 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 | 6 | 2021 |
| Precise dynamic verification of noninterference G Le Guernic | 4 | 2008 |
| Automaton-based Non-interference Monitoring of Concurrent Programs G Le Guernic | 4 | 2007 |
| 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 | 3 | 2020 |
| 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 | 3 | 2019 |
| 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 | 3 | 2006 |
| FL-system's Intelligent Cache G Le Guernic, J Perret MajecSTIC 2005: Manifestation des Jeunes Chercheurs francophones dans les …, 2005 | 3 | 2005 |
| USB Packets Filtering Policies and an Associated Low-Cost Simulation Framework X Ji, G Le Guernic, N Cuppens-Boulahia, F Cuppens Information and Communications Security: 20th International Conference …, 2018 | 2 | 2018 |
Mads DamProfessor of Teleinformatics, KTH - Royal Institute of TechnologyDirección de correo verificada de kth.se
