Max Howald

I am a co-founder and lead engineer at Walrus Security.

I graduated with a B.S. in Electrical Engineering and a minor in mathematics from the Cooper Union in 2016.

Emailing maxhowald@gmail.com is the best way to reach me.

Publications

I co-authored the following papers when I worked as a research assistant in the computer science lab of professor Michael Walfish from 2014–2016.

Defending against malicious peripherals with Cinch
Sebastian Angel, Riad S. Wahby, Max Howald, Joshua B. Leners, Michael Spilo, Zhen Sun, Andrew J. Blumberg, and Michael Walfish.
USENIX Security Symposium, Security16, August 2016.

Verifiable ASICs (Distinguished student paper award)
Riad S. Wahby, Max Howald, Siddharth Garg, abhi shelat, and Michael Walfish.
IEEE Symposium on Security and Privacy, Oakland16, May 2016.

Efficient RAM and control flow in verifiable outsourced computation
Riad S. Wahby, Srinath Setty, Max Howald, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish.
22nd Network and Distributed System Security Symposium, NDSS15, February 2015.

Projects

• At Walrus, I lead the development of DoubleCheck, an app for ensuring that payments go to the right place.
• I maintain Pequin, an end-to-end toolchain for verifiable computation. Pequin is part of the Pepper project.
• I bet on politics at PredicitIt, using math and data to gain an edge.

School projects

• A physical firewall for USB devices, enabling safe use of untrusted keyboards and storage devices. Photos: 1, 2
• Web app implementing the game of Set, written in Haskell.
• 3D Pacman using WebGL, for a computer graphics course.