Registered user since Mon 3 Jun 2019
I am a graduate student and security researcher in the Systems and Networking group at the University of California, San Diego. My work focuses on the development of verified software systems, the automation of program analysis techniques for embedded device firmware, and the use of network protocols in the security of distributed systems.
|PLDI 2019||Lazy Counterfactual Symbolic Execution|
|Show activities from other conferences|
View general profile