Maxwell Troy Bland

Registered user since Mon 3 Jun 2019

Name: Maxwell Troy Bland

Bio: 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

Personal website: https://acsweb.ucsd.edu/~mbland

Research interests: Security, Programming Languages

Contributions

PLDI 2019Author of Lazy Counterfactual Symbolic Execution within the PLDI Research Papers-track
Show activities from other conferences

PLDI 2019-profile
View general profile