Concepedia

Gurvan Le Guernic

GL

Statistics

Publications

6

Citations

233

H-Index

6

Active since

2007

Affiliations

KTH Royal Institute of Technology(Current)

Institut national de recherche en sciences et technologies du numérique

Gurvan Le Guernic is an author at KTH Royal Institute of Technology specializing in computing, computer science, and control-flow analysis.

Publications per year

2007–2012

6

Publications

6

Automaton-based Confidentiality Monitoring of Concurrent Programs

Gurvan Le Guernic · Proceedings - Computer Security Foundations Workshop/Proceedings · 2007 · 80 citations · Full text

Computing, Computer Science, Computer Systems +17

Epistemic temporal logic for information flow security

Musard Balliu, Mads Dam, Gurvan Le Guernic · 2011 · 52 citations

Computing, Computer Science, Cybersecurity +13

A security-preserving compiler for distributed programs

Cédric Fournet, Gurvan Le Guernic, Tamara Rezk · 2009 · 34 citations

Computing, Computer Science, Computer Systems +15

ENCoVer: Symbolic Exploration for Information Flow Security

Musard Balliu, Mads Dam, Gurvan Le Guernic · 2012 · 31 citations · Full text

Computing, Computer Science, Cybersecurity +17

Mads Dam, Gurvan Le Guernic, Andreas Lundblad · 2012 · 24 citations

Computing, Computer Science, Cybersecurity +15

1–5 of 6