About me
Hi, I’m Paschal (pas-kal).
I am a fifth-year PhD candidate at Purdue University’s School of Electrical and Computer Engineering, currently advised by Prof Jamie Davis.
My research aims to design novel methods and tools, using techniques from program analysis, formal verification, and runtime defenses, to discover security vulnerabilities in software components.
My work have helped discover 37 vulnerabilities in widely-used embedded software, and have been published at top Software Engineering (ASE 2023, ICSE 2025, ICSE 2026) and Cybersecurity (DSN 2023, USENIX Security 2025) venues.
Recent News
- Mar 2025: Hurray! I will be attending ICSE 2025 in Ottawa Canada, thanks to travel grants from SIGSOFT and NSF.
- Feb 2025: I will be going back to Google this summer for a PhD Software Engineering internship.
- Jan 2025: Our Unit Proofing concept paper has been accepted to the New Ideas track of ICSE 2025.
- Nov 2024: Our paper on mitigating security vulnerabilities in third-party libraries has been accepted to ICSE 2025.
- Mar 2024: I will be interning with the Qualcomm Product Security Group this summer!
- July 2023: Our paper, Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks, just got accepted to ASE 2023.
- May 2023: I will be interning at Google over this summer as a Student Researcher.
- Aug 2022: Our paper, Reflections on Software Failure Studies, just got accepted to the Ideas, Vision and Reflections track of ESEC/FSE 2022.
- April 2022: I won the 2022 Magoon Excellence in Teaching award, from Purdue’s college of engineering.
- Feb 2022: Our short paper, “Experience paper: A first offering of Software Engineering” just got accepted to DREE 2022