"Type-Driven Program Synthesis" by Nadia Polikarpova

Strange Loop Conference·41 min

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

Analysts investigate attack surfaces and defenses concerning "Type-Driven API Design in Rust" by Will Crichton.

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·38 min

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

Presenters detail vulnerability discovery and exploitation in "Program Synthesis: A Dream Realized?" by Roopsha Samanta.