About
I am a PhD student focused on security, advised by Dr. Sazzadur Rahaman. My research explores security through both measurement studies and formal methods. In my projects, I use formal verification to evaluate the security of software systems, supported by real-world empirical findings.
Publications
- Secret State Leakage Attacks and their Impacts on EMV Contactless Payment Apps IEEE Symposium on Security and Privacy (S&P). 2026. Accepted.
- On the Characteristics and Impacts of Protestware Libraries Proceedings of the ACM on Software Engineering (FSE). 2025. Accepted.
- On the Contents and Utility of IoT Cybersecurity Guidelines Proceedings of the ACM on Software Engineering (FSE). 2024. Accepted.
* Co-first authors.
Awards & Grants
Awards
| Outstanding Poster Award | Department of Computer Science, University of Arizona | 2026 |
| Excellence Award | College of Science, University of Arizona | 2026 |
| Graduate Scholarship Award | Department of Computer Science, University of Arizona | 2026 |
Grants
| Student Travel Grant | IEEE Symposium on Security and Privacy | $1,500 | 2026 |
| Department of Computer Science Travel Grant | University of Arizona | $1,500 | 2026 |
| Student Travel Grant | ACM SIGSOFT CAPS | $500 | 2024 |
| Department of Computer Science Fellowship | University of Arizona | $5,000 | 2023 |
| Student Travel Grant | IEEE Symposium on Security and Privacy | Registration waived | 2021 |
Education
- PhD in Computer Science, University of Arizona, Expected 2027
- BS in Computer Science, University of Arizona, 2022
Contact
Email: jessechen[at]arizona[dot]edu
Office: Gould-Simpson 7th floor