vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases
Industry experts analyze emerging threats surrounding vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·19 min
Industry experts analyze emerging threats surrounding Verifying and Synthesizing Constant-Resource Implementations with Types.
verifyingsynthesizingconstant-resource+3
Black Hat·44 min
Security researchers examine technical aspects of Automating Exploit Generation for Arbitrary Types of Kernel Vulnerabilities.
vulnerabilitieskernelautomating+3
HITCON·47 min
Analysts investigate attack surfaces and defenses concerning CRAX++: Modular Exploit Generator using Dynamic Symbolic Execution｜HITCON PEACE 2022.
symbolic-executioncraxmodular+3