CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation
Analysts investigate attack surfaces and defenses concerning CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·16 min
Security researchers examine technical aspects of Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level.
symbolic-executionbinsecefficient+3
IEEE Symposium on Security and Privacy·21 min
Presenters detail vulnerability discovery and exploitation in SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation.
symbolic-executionsymcertpractical+3
IEEE Symposium on Security and Privacy·23 min
Security researchers examine technical aspects of CaSE: Cache-Assisted Secure Execution on ARM Processors.
armcache-assistedexecution+2