Summary
Ensuring modern computing systems are secure is critical for preventing malicious adversaries from intercepting data, compromising infrastructure, and stealing intellectual property. Today’s computers rely on dedicated security chips as the foundation for overall system-level security. Increasingly, vendors are using the Tock operating system on these chips because Tock solves a key need in this industry: secure and reliable software. The security of computing devices (e.g., datacenters, laptops, and smartphones) then ultimately relies on Tock’s correctness and robustness, and Tock’s developme
