Static Evaluation of Noninterference using Approximate Model Counting
Analysts investigate attack surfaces and defenses concerning Static Evaluation of Noninterference using Approximate Model Counting.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·20 min
Industry experts analyze emerging threats surrounding DeepSteal: Advanced Model Extractions Leveraging Efficient Weight Stealing in Memories.
deepstealmodelextraction+2
IEEE Symposium on Security and Privacy·19 min
Engineers explore architecture and security mechanisms for Private Approximate Nearest Neighbor Search.
privateapproximatenearest+2
IEEE Symposium on Security and Privacy·17 min
Engineers explore architecture and security mechanisms for Spinning Language Models: Risks of Propaganda-as-a-Service and Countermeasures.
countermeasuresspinninglanguage+3