"Flow - Am I Your Type?" by Mark Volkmann

Strange Loop Conference·28 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Presenters detail vulnerability discovery and exploitation in "Ectype - bringing type safety (and more!) to vanilla JavaScript" by Holly Wu (Strange Loop 2023).

Strange Loop Conference·40 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Analysts investigate attack surfaces and defenses concerning "Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013).

Strange Loop Conference·37 min

• STRANGE LOOP
• Community
• Date: 2022
• Location: Strange Loop

Presenters detail vulnerability discovery and exploitation in "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann.