Gurvan Le Guernic

Identifiers

• name variant Gurvan Le Guernic 0.60 · backfill

Papers (2)

1. Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework cs.PL · 2017 · author #1
2. Epistemic Temporal Logic for Information Flow Security cs.CR · 2012 · author #3

Mentions

• 1208.6106 #3 · backfill · confidence 0.70 Gurvan Le Guernic

Frequent Coauthors

• Benoit Combemale 1 shared papers
• Jos\'e A. Galindo 1 shared papers
• Mads Dam 1 shared papers
• Musard Balliu 1 shared papers