Harmful devices considered harmless. - Riad S. Wahby; Sebastian Angel; Max Howald; Joshua B. Leners; Andrew J. Blumberg; Michael Walfish (CoRR, 2015)

Verifiable ASICs. - Riad S. Wahby; Max Howald; Siddharth Garg; Abhi Shelat; Michael Walfish (IACR Cryptol. ePrint Arch., 2015)

Defending against Malicious Peripherals with Cinch. - Sebastian Angel; Riad S. Wahby; Max Howald; Joshua B. Leners; Michael Spilo; Zhen Sun; Andrew J. Blumberg; Michael Walfish (USENIX Security Symposium, 2016)