IEEE Symposium on Security and Privacy·17 min
Industry experts analyze emerging threats surrounding A Method for Verifying Privacy-Type Properties: The Unbounded Case.
methodverifyingprivacy-type+2
verifying
12 talks tagged with this topic.
Filters+
Loading filters…
1–12 of 12 talks · loading…
IEEE Symposium on Security and Privacy·20 min
Battery-Powered Devices
Security researchers examine technical aspects of Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices.
caeluverifyingconsistency+3
IEEE Symposium on Security and Privacy·15 min
Security researchers examine technical aspects of Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting.
formallyverifyingverifiable+3
IEEE Symposium on Security and Privacy·19 min
Industry experts analyze emerging threats surrounding Verifying and Synthesizing Constant-Resource Implementations with Types.
verifyingsynthesizingconstant-resource+3
IEEE Symposium on Security and Privacy·20 min
Industry experts analyze emerging threats surrounding vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.
vsqlverifyingarbitrary+2
The Linux Foundation·1 hr 29 min
Analyzes designing, Configuring and Verifying Linux Systems and evaluates key implications for security practitioners.
linuxdesigningconfiguring+2
The Linux Foundation·17 min
Haoxiang Zhang · Ahmed E. Hassan
Details trusted-SBOM: On the Critical Importance of Verifying SBOMs and evaluates key implications for security practitioners.
trusted-sbomcriticalimportance+2
The Linux Foundation·24 min
Francis Laniel
Examines verifying and Signing EBPF Programs with Inspektor Gadget and evaluates key implications for security practitioners.
ebpfverifyingsigning+1
The Linux Foundation·33 min
Carolyn Zech · Amazon Web Services
Outlines verifying the Rust Standard Library and evaluates key implications for security practitioners.
rustverifyingstandard+2
The Linux Foundation·32 min
Naveen Srinivasan · Spencer Schrock
Reviews verifying the Validity of Crowd-Sourced Results in the Open and evaluates key implications for security practitioners.
verifyingvaliditycrowd-sourced+1
SEC-T·23 min
Evaluates 0x10: Michael MC Cardell Widerkrantz - Verifying the Tillitis TKey and evaluates key implications for security practitioners.
michaelcardellwiderkrantz+1
Strange Loop Conference·40 min
Engineers explore architecture and security mechanisms for "Vellvm - Verifying the LLVM" by Steve Zdancewic.
vellvmverifyingllvm+2