conf.researchr.org / Maxwell Troy Bland
Registered user since Mon 3 Jun 2019
Name:Maxwell Troy Bland
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.
Affiliation:University of California at San Diego, USA
Research interests:Security, Programming Languages
|PLDI 2019||Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track|