IEEE Symposium on Security and Privacy·17 min
Analysts investigate attack surfaces and defenses concerning Static Evaluation of Noninterference using Approximate Model Counting.
staticevaluationnoninterference+3
noninterference
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…