YoVDO

Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing - 2024

Offered By: IEEE via YouTube

Tags

Security Analysis Courses Fuzz Testing Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the intersection of formal Dolev-Yao models and cryptographic protocol fuzz testing in this insightful 18-minute IEEE conference talk. Delve into the latest advancements in security analysis as Max Ammann presents innovative approaches to combining theoretical models with practical testing methodologies. Gain valuable insights into enhancing the robustness of cryptographic protocols and learn how these cutting-edge techniques can be applied to identify potential vulnerabilities in secure communication systems.

Syllabus

2024 76 Formal Dolev Yao Models Meet Cryptographic Protocol Fuzz Testing Max Ammann


Taught by

IEEE Symposium on Security and Privacy

Tags

Related Courses

Requirements Specifications: Goals and Conflict Analysis
University of Colorado System via Coursera Threat and Vulnerability Management for CompTIA CySA+
Pluralsight Network Security Monitoring (NSM) with Security Onion
Pluralsight Security Event Triage: Operationalizing Security Analysis
Pluralsight Complete Guide to Elasticsearch
Udemy