Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate
Security researchers examine technical aspects of Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
modelfullyverified+3
AUSCERT·39 min
Jamie Gillespie
2023 - TLS OR GTFO (Analysis of SMTP TLS Implementations).
tlsgtfoanalysi+2
AUSCERT·39 min
Hanno Böck
2016 Day 2 Hanno Böck The burden of faulty TLS implementations.
tlshannoburden+2