Ana Nora Evans

Identifiers

No identifiers captured yet.

Papers (2)

1. Software Fault Isolation for Robust Compilation cs.CR · 2018 · author #1
2. Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract) cs.CR · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• 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
• Th\'eo Laurent 1 shared papers