Emma Dauterman Secure Systems from Insecure Components University of California Berkeley, USA 2024 https://www.escholarship.org/uc/item/6cd990np https://www.escholarship.org/content/qt6cd990np/qt6cd990np.pdf