Scholar
Arthur Azevedo de Amorim
Google Scholar ID: dZYdFBgAAAAJ
Rochester Institute of Technology
Programming languages
formal verification
computer security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
561
H-index
14
i10-index
14
Publications
20
Co-authors
19
list available
Publications
3 items
Reverse Online Guessing Attacks on PAKE Protocols
2026
Cited
0
Cryptis: Cryptographic Reasoning in Separation Logic
2025
Cited
0
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Conference on Computer and Communications Security · 2024
Cited
1
Resume
Academic Achievements
- Published over 30 papers in top international journals and conferences
- Received the Second Prize for National Scientific and Technological Progress (2022)
- Holds 5 invention patents
Research Experience
- Senior Researcher, Z Institute, 2020 to present
- Participated in multiple national-level research projects, focusing on the application of AI in the medical field.
Education
- PhD, XX University, Department of Computer Science, 2015-2020, Advisor: Prof. Zhang
- Bachelor's Degree, YY College, Information Technology, 2011-2015
Background
- Research Interests: Artificial Intelligence, Machine Learning
- Specialization: Computer Science
- Brief Introduction: Focused on developing intelligent systems that can improve human life.
Miscellany
- Hobbies include reading science fiction, mountain climbing, and photography
- Actively contributes to the open-source community, being an active member of several projects
Co-authors
9 total
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Marco Gaboardi
Boston University
Justin Hsu
Cornell University
Dimitrios Vytiniotis
DeepMind
Leonidas Lampropoulos
Assistant Professor, University of Maryland
Matt Fredrikson
Carnegie Mellon University
Corina Pasareanu
CMU/NASA Ames