CyberRisk TV·17 min
Aaron Painter
Aaron Painter details Authenticated, But Not Verified: The Workforce Identity Gap.
workforceidentityauthenticated+1
verified
16 talks tagged with this topic.
Filters+
Loading filters…
1–16 of 16 talks · loading…
CyberRisk TV·16 min
Ellen Boehm
Ellen Boehm investigates From Secrets to Verified Workload Identity—at Enterprise Scale.
identityverifiedworkload+1
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding A Secure and Formally Verified Linux KVM Hypervisor.
linuxhypervisorformally+1
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
IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
evercryptfastverified+3
IEEE Symposium on Security and Privacy·19 min
Engineers explore architecture and security mechanisms for Formally Verified Cryptographic Web Applications in WebAssembly.
webformallyverified+3
IEEE Symposium on Security and Privacy·22 min
Presenters detail vulnerability discovery and exploitation in Micro-Policies: Formally Verified, Tag-Based Security Monitors.
micro-policieformallyverified+3
IEEE Symposium on Security and Privacy·20 min
Security researchers examine technical aspects of Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations.
noiselibraryverified+3
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
The Linux Foundation·42 min
Rouven Czerwinski
Explores practical Application of Verified Boot and evaluates key implications for security practitioners.
practicalapplicationverified+2
The Linux Foundation·48 min
Simon Glass
Reviews verified Boot on Chrome OS and How to do it yourself and evaluates key implications for security practitioners.
chromeverifiedboot+2
The Linux Foundation·55 min
Reviews verified Boot: From ROM to Userspace and evaluates key implications for security practitioners.
verifiedbootuserspace+2
The Linux Foundation·42 min
Frederick Lawler
Discusses verified Debian Packaging at Scale and evaluates key implications for security practitioners.
verifieddebianpackaging+2
The Linux Foundation·25 min
Chris Arges
Discusses verified Debian Packaging at Scale and evaluates key implications for security practitioners.
verifieddebianpackaging+2
IEEE Symposium on Security and Privacy·19 min
Engineers explore architecture and security mechanisms for 2024 467 ARMOR A Formally Verified Implementation of X 509 Certificate Chain Validation Joyanta De.
armorformallyverified+2