Securing Protocols with Not So Formal Methods

Learn about protocol security through a conference talk that explores practical applications of formal methods in cybersecurity. Discover how to analyze and verify security protocols using accessible formal methods techniques, even without extensive mathematical background. Examine real-world examples of protocol vulnerabilities and understand how formal analysis could have prevented them. Follow along as the speaker demonstrates tools and approaches for protocol verification that security practitioners can incorporate into their workflow. Gain insights into making formal methods more approachable and useful for everyday security work, bridging the gap between theoretical verification and practical protocol implementation.