"Cap'n Proto and Rust: Type Systems for Sharing" by David Renshaw

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.

Strange Loop Conference·38 min

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

Engineers explore architecture and security mechanisms for "Understanding TypeScript's Structural Type System" by Drew Colthorp.

Strange Loop Conference·39 min

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

Presenters detail vulnerability discovery and exploitation in "A Little Taste of Dependent Types" by David Christiansen.