Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). - Guglielmo Fachini; Catalin Hritcu; Marco Stronati; Ana Nora Evans; Théo Laurent; Arthur Azevedo de Amorim; Benjamin C. Pierce; Andrew Tolmach (CoRR, 2017)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. - Carmine Abate; Arthur Azevedo de Amorim; Roberto Blanco; Ana Nora Evans; Guglielmo Fachini; Catalin Hritcu; Théo Laurent; Benjamin C. Pierce; Marco Stronati; Andrew Tolmach (CCS, 2018)

Software Fault Isolation for Robust Compilation. - Ana Nora Evans (CoRR, 2018)

Is rust used safely by software developers? - Ana Nora Evans; Bradford Campbell; Mary Lou Soffa (ICSE, 2020)

A Language for Autonomous Vehicles Testing Oracles. - Ana Nora Evans; Mary Lou Soffa; Sebastian G. Elbaum (CoRR, 2020)