Th\'eo Laurent

Identifiers

No identifiers captured yet.

Papers (1)

1. Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract) cs.CR · 2017 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Ana Nora Evans 1 shared papers
• Andrew Tolmach 1 shared papers
• Arthur Azevedo de Amorim 1 shared papers
• Benjamin C. Pierce 1 shared papers
• Catalin Hritcu 1 shared papers
• Guglielmo Fachini 1 shared papers
• Marco Stronati 1 shared papers