A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages
Industry experts analyze emerging threats surrounding A Posteriori Taint-tracking for Demonstrating Non-interference in Expressive Low-level Languages.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·15 min
Presenters detail vulnerability discovery and exploitation in Compositional Non-Interference for Fine-Grained Concurrent Programs.
compositionalnon-interferencefine-grained+2
IEEE Symposium on Security and Privacy·13 min
Security researchers examine technical aspects of MarkUs: Drop-in Use-After-Free Prevention for Low-Level Languages.
markudrop-inuse-after-free+3
Videos·51 min
Demonstrating Actionable Value
Engineers explore architecture and security mechanisms for Demonstrating Actionable Value: Why The Business Hates Pentesters by Andy Gill.
demonstratingactionablevalue+2


