This episode of The Fourth Leg features Adam Wick, one of the world’s leading experts on secure operating systems design and implementation.
Wick discusses how formal methods, a precise mathematical description of a system’s function, is a crucial component to the design and implementation of CATALINK — a radically simple and secure nuclear crisis communications hotline. We take a deep dive into the substance of how formal proofs not only minimize language misunderstandings in a system as complex as NC3, they provide a rigorous executable specification on how a system such as CATALINK is supposed to run.
