Securely Implementing Network Protocols - Detecting and Preventing Logical Flaws

Explore a comprehensive Black Hat conference talk that delves into the application of model-based testing for detecting logical bugs in network protocol implementations. Learn how this technique was successfully used to uncover flaws in SSL/TLS implementations and discover its potential applications in identifying logical vulnerabilities within Wi-Fi implementations. Gain valuable insights from experts Mathy Vanhoef and Cody Mercer as they present their findings and methodologies in this 59-minute session, offering a deeper understanding of secure network protocol implementation and testing strategies.