A Method for Verifying Privacy-Type Properties: The Unbounded Case
Industry experts analyze emerging threats surrounding A Method for Verifying Privacy-Type Properties: The Unbounded Case.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
RSAC Cybersecurity·33 min
Industry experts analyze emerging threats surrounding Tracking Darknet: A Window into Attackers’ Motives, Methods and Targets.
darknetwindowattacker+2
IEEE Symposium on Security and Privacy·17 min
Presenters detail vulnerability discovery and exploitation in mmEcho: A mmWave-based Acoustic Eavesdropping Method.
eavesdroppingmmechommwave-based+3
IEEE Symposium on Security and Privacy·16 min
Engineers explore architecture and security mechanisms for SNAP: Efficient Extraction of Private Properties with Poisoning.
snapefficientextraction+3