Maxwell Bland

University of California, San Diego

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.

CV

Recent Work

Please Pay Inside: Evaluating Bluetooth-based Detection of Gas Pump Skimmers (In Submission)

Lazy Counterfactual Symbolic Execution (Conditionally Accepted, PLDI!)

Blackhat 2018: Pestilential Protocol Video 1 Video 2 PDF Threatpost

Miscellaneous

Github

Leaf Me Alone: A Massively Multiplayer Online Squirrel RPG Github

EEPROM Hardware Hacking Tutorial

Buffer Overflow Exploit Tutorial

Meditation Room