Compositional Non-Interference for Fine-Grained Concurrent Programs
Presenters detail vulnerability discovery and exploitation in Compositional Non-Interference for Fine-Grained Concurrent Programs.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning OWL: Compositional Verification of Security Protocols via an Information-Flow Type System.
protocolscompositionalverification+3
IEEE Symposium on Security and Privacy·24 min
Presenters detail vulnerability discovery and exploitation in Invisible Finger: Practical Electromagnetic Interference Attack on Touchscreen Electronic Devices.
invisiblefingerpractical+3
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning Compositional Security for Reentrant Applications.
compositionalreentrantapplication+1