Emma Dauterman: Secure Systems from Insecure Components. University of California Berkeley, USA 2024