Ana Nora Evans

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 7

Top Topics

Fault Isolation

Extended Abstract

Autonomous Vehicles

Top Venues

Publications

Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
Is Rust Used Safely by Software Developers? CoRR (2020)
Ana Nora Evans, Bradford Campbell, Mary Lou Soffa
Is rust used safely by software developers? ICSE (2020)
Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum
A Language for Autonomous Vehicles Testing Oracles. CoRR (2020)
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
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR (2018)
Ana Nora Evans
Software Fault Isolation for Robust Compilation. CoRR (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract). CoRR (2017)