Gurvan Le Guernic
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2016
- [c12]David Méndez-Acuña, José A. Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic:
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. ICSR 2016: 368-383 - [c11]Gurvan Le Guernic:
Modeling Requirements Should be Language Agnostic! - Example of a Formal Definition of Simple Behavioral Decomposition Models. MODELSWARD 2016: 555-562 - [c10]Gurvan Le Guernic, Benoît Combemale, José A. Galindo:
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. F-IDE@FM 2016: 38-52 - 2014
- [c9]Gurvan Le Guernic:
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. ESSS 2014: 50-55 - 2012
- [c8]Mads Dam, Gurvan Le Guernic, Andreas Lundblad:
TreeDroid: a tree automaton based approach to enforcing data processing policies. ACM Conference on Computer and Communications Security 2012: 894-905 - [c7]Musard Balliu, Mads Dam, Gurvan Le Guernic:
ENCoVer: Symbolic Exploration for Information Flow Security. CSF 2012: 30-44 - [i1]Musard Balliu, Mads Dam, Gurvan Le Guernic:
Epistemic Temporal Logic for Information Flow Security. CoRR abs/1208.6106 (2012) - 2011
- [c6]Musard Balliu, Mads Dam, Gurvan Le Guernic:
Epistemic temporal logic for information flow security. PLAS 2011: 6
2000 – 2009
- 2009
- [c5]Cédric Fournet, Gurvan Le Guernic, Tamara Rezk:
A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. ACM Conference on Computer and Communications Security 2009: 432-441 - 2008
- [j1]Gurvan Le Guernic, Julien Perret:
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. Electr. Notes Theor. Comput. Sci. 219: 3-18 (2008) - [c4]
- 2007
- [b1]Gurvan Le Guernic:
Confidentiality Enforcement Using Dynamic Information Flow Analyses. Kansas State University, United States of America 2007 - [c3]
- [c2]Gurvan Le Guernic:
Automaton-based Confidentiality Monitoring of Concurrent Programs. CSF 2007: 218-232 - 2006
- [c1]Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt:
Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-23 23:42 CET by the dblp team