Concepedia

Arthur Azevedo de Amorim

AA

10

Publications

303

Citations

10

H-Index

2013

Active since

Affiliations

University of Pennsylvania(Current)

Portland State University

Carnegie Mellon University

California University of Pennsylvania

Institut national de recherche en sciences et technologies du numérique

Arthur Azevedo de Amorim is an author at University of Pennsylvania specializing in formal methods, engineering, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationVerificationData SecurityInformation SecurityHardware Security

Publications per year

2013–2020

10

Publications

10

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon et al. · 2014 · 57 citations · Full text

Engineering, Information Security, Verification +22

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

Symbolic Machine, Engineering, Information Security +21

A semantic account of metric preservation

Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu et al. · 2016 · 40 citations · Full text

Testing noninterference, quickly

Cătălin Hriţcu, John Hughes, Benjamin C. Pierce et al. · 2013 · 35 citations · Full text

Program Checking, Engineering, Information-flow Control Mechanisms +24

When Good Components Go Bad

Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco et al. · 2018 · 30 citations · Full text

Software Maintenance, Engineering, Information Security +24

Rows per page

1–5 of 10