"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann
Presenters detail vulnerability discovery and exploitation in "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·38 min
Engineers explore architecture and security mechanisms for "Understanding TypeScript's Structural Type System" by Drew Colthorp.
understandingtypescriptstructural+3
Strange Loop Conference·39 min
Analysts investigate attack surfaces and defenses concerning "Gradual typing of Ruby at Scale" by Dmytro Petrashko and Paul Tarjan.
gradualtypingruby+3
Strange Loop Conference·34 min
Engineers explore architecture and security mechanisms for "The design of JavaScript type systems" by Dimitris Vardoulakis.
javascriptdesigntype+3