Statistics
Publications
11
Citations
317
H-Index
10
Active since
2013
Arthur Azevedo de Amorim is an author at University of Pennsylvania specializing in computer science, computing, and formal methods.
Publications per year
2013–2020
11
11
A verified information-flow architecture
Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text
Micro-Policies: Formally Verified, Tag-Based Security Monitors
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis et al. · 2015 · 51 citations · Full text
A semantic account of metric preservation
Arthur Azevedo de Amorim, Justin Hsu, Shin-ya Katsumata et al. · 2016 · 40 citations · Full text
Testing noninterference, quickly
Cătălin Hriţcu, John Hughes, Benjamin C. Pierce et al. · 2013 · 36 citations · Full text
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco et al. · 2018 · 32 citations · Full text
1–5 of 11