Follow
Ana Nora Evans
Ana Nora Evans
Verified email at virginia.edu - Homepage
Title
Cited by
Cited by
Year
Where's the FEEB? The Effectiveness of Instruction Set Randomization.
AN Sovarel, D Evans, N Paul
USENIX Security Symposium 10, 2005
2432005
Is rust used safely by software developers?
AN Evans, B Campbell, ML Soffa
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
712020
When good components go bad: Formally secure compilation despite dynamic compromise
C Abate, A Azevedo de Amorim, R Blanco, AN Evans, G Fachini, C Hritcu, ...
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
422018
Formally secure compilation of unsafe low-level components
G Fachini, C Hritcu, M Stronati, AN Evans, T Laurent, AA de Amorim, ...
arXiv preprint arXiv:1710.07308, 2017
22017
A language for autonomous vehicles testing oracles
AN Evans, ML Soffa, S Elbaum
arXiv preprint arXiv:2006.10177, 2020
12020
Stroke care quality between 2017-2020: observational data from the Australian Stroke Clinical Registry
DA Cadilhac, L Dalli, J Kim, S Middleton, R Grimley, MF Kilkenny, ...
European Stroke Journal, 455-455, 2022
2022
Software Fault Isolation for Robust Compilation
AN Evans
arXiv preprint arXiv:1802.01044, 2018
2018
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
G Fachini, C Hriţcu, M Stronati, A Azevedo de Amorim, C Abate, R Blanco, ...
2018
The system can't perform the operation now. Try again later.
Articles 1–8