Arthur Azevedo de Amorim

Author

Also Known As

Amorim, Arthur, Arthur Amorim, Arthur Azevedo De Amorim, Arthur Azevedo de Amorim, Azevedo de Amorim, Arthur, Farthouat, Philippe, Hriţcu, Cătălin, Mayr, Richard, de Amorim, Arthur Azevedo

Publications

417

Citations

H-Index

Concepts

All Affiliations

University of Pennsylvania Portland State University Carnegie Mellon University California University of Pennsylvania Institut national de recherche en sciences et technologies du numérique

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	9	9	263
2	Computer Science	9	9	263
3	Language Studies	2	2	46
4	Computer Engineering	1	1	51
5	Data Science	1	1	28

Arthur Azevedo de Amorim

Publications

303

Citations

H-Index

Page 1

	Year	Citations
A verified information-flow architecture Arthur Azevedo de Amorim, Nathan Collins, André DeHon, EngineeringInformation SecurityVerificationComputer-aided VerificationFormal Verification	2014	57
Micro-Policies: Formally Verified, Tag-Based Security Monitors Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Symbolic MachineEngineeringInformation SecurityTag-based Security MonitorsSoftware Analysis	2015	51
A semantic account of metric preservation Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu,	2016	40
Testing noninterference, quickly Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, Program CheckingEngineeringInformation-flow Control MechanismsGenerate Simple CounterexamplesLarge Counterexamples	2013	35
When Good Components Go Bad Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Software MaintenanceEngineeringInformation SecuritySoftware AnalysisFormal Verification	2018	30
Probabilistic Relational Reasoning via Metrics Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, EngineeringVerificationSemanticsSoftware AnalysisStatistical Relational Learning	2019	28
Really Natural Linear Indexed Type Checking Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Mathematical ProgrammingEngineeringInformation SecurityType TheoryVerification	2014	27
A verified information-flow architecture Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Journal of Computer Security EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2016	14
Reconciling noninterference and gradual typing Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia EngineeringType TheoryVerificationSemanticsSyntactic Structure	2020	11
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo de Amorim, arXiv (Cornell University) EngineeringInformation SecurityCompiler TechnologyVerificationSoftware Analysis	2015	10

Page 1