"Vellvm - Verifying the LLVM" by Steve Zdancewic
Engineers explore architecture and security mechanisms for "Vellvm - Verifying the LLVM" by Steve Zdancewic.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
BSidesSF 2025·44 min
Reed Loden · Ricky · Steve · Tania McClain · Meghan Manfre
Analysts investigate attack surfaces and defenses concerning 15 Years of BSidesSF...(Reed Loden, Ricky, Steve, Tania McClain, Meghan Manfre).
bsidessfreedloden+2
Black Hat·53 min
Dr. Steve Crocker
Security researchers examine technical aspects of Asia 2014 - Keynote by Dr. Steve Crocker.
asiastevecrocker
SAINTCON·33 min
Effective Detection
Effective Detection examines Steve Caimi.
stevecaimikeynote