"A Little Taste of Dependent Types" by David Christiansen
Presenters detail vulnerability discovery and exploitation in "A Little Taste of Dependent Types" by David Christiansen.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·40 min
Analysts investigate attack surfaces and defenses concerning "Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013).
scalaidridependent+2
Strange Loop Conference·39 min
Analysts investigate attack surfaces and defenses concerning "Dependent Types in Haskell" by Stephanie Weirich.
dependenttypehaskell+3
Strange Loop Conference·41 min
Security researchers examine technical aspects of "Cap'n Proto and Rust: Type Systems for Sharing" by David Renshaw.
rustprototype+3