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
3 talks tagged with this topic.
Loading filters…
1–3 of 3 talks · loading…
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.
The Linux Foundation·49 min
Details relational Observability for Cloud-Native Security and Data Science- Frederico Araujo & Teryl Taylor and evaluates key implications for security practitioners.
Strange Loop Conference·50 min
Analysts investigate attack surfaces and defenses concerning "A Relational Exploration of the Chomsky Hierarchy" by Daniel Friedman and William Byrd (2013).