A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
Industry experts analyze emerging threats surrounding A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·21 min
Security researchers examine technical aspects of Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate.
tlsverifiedmodel+3
The Linux Foundation·32 min
Marno van der Maas
Investigates fully Verified Open Silicon - Marno van der Maas, lowRISC CIC and evaluates key implications for security practitioners.
siliconfullyverified+1
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.
kernelseparationmodel+3