Bootstrapping Trust in Commodity Computers — Oakland 2010
SoK: Computer-Aided Cryptography — Oakland 2021