Ana Nora Evans

According to our database, Ana Nora Evans authored at least 5 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Language for Autonomous Vehicles Testing Oracles.

Ana Nora Evans, Mary Lou Soffa, Sebastian G. Elbaum

CoRR, 2020

Is rust used safely by software developers?

Ana Nora Evans, Bradford Campbell, Mary Lou Soffa

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2018

Software Fault Isolation for Robust Compilation.

Ana Nora Evans

CoRR, 2018

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

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