Formally Verified

https://is1-ssl.mzstatic.com/image/thumb/Podcasts221/v4/e4/56/c4/e456c4b0-8a5d-792d-b2c8-3e0dea7bcd05/mza_5550360472228330756.jpg/600x600bb.jpg

The Fourth Leg

Institute for Security and Technology

24 episodes

6 days ago

The Fourth Leg is a series of podcasts focused on one of the most complex systems in the world today—nuclear command and control—and its increasingly complicated future. Hosted by Institute for Security and Technology's Philip Reiner, we go straight to the experts across multiple sectors to discuss the modernization of nuclear command and control systems.

Technology

RSS

All content for The Fourth Leg is the property of Institute for Security and Technology and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.

Technology

https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/43632029/43632029-1746741225323-61b61a3db99db.jpg

Formally Verified

The Fourth Leg

1 hour 43 seconds

5 years ago

Formally Verified

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.