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.
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