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
Contact
No contact links provided.
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 (English only)
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
19 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
Co-author 5
Co-author 6
Dimitrios Vytiniotis
DeepMind
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up