SMT Solvers Courses
OpenSecurityTraining2 via Independent Logic Against Sneak Obfuscated Malware
NorthSec via YouTube SMT- Quantifiers, and Future Prospects - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube SMT Solvers in IT Security - Deobfuscating Binary Code with Logic
Cooper via YouTube Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools
YouTube Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools
YouTube Grisette: Symbolic Compilation as a Functional Programming Library
Simons Institute via YouTube Reasoning About Hilbert's Choice Operator in SMT
ACM SIGPLAN via YouTube Trust but Verify: Scaling Deductive Verification with Abstract Interpretation - N40AI'24
ACM SIGPLAN via YouTube Implementing Separation Logic Using an SMT-backed Frame Rule
ACM SIGPLAN via YouTube