typing

IEEE Symposium on Security and Privacy·17 min

• IEEE SP
• Community
• Date: 2025
• Location: Ieee Sp

Analysts investigate attack surfaces and defenses concerning Typing High-Speed Cryptography against Spectre v1.

Strange Loop Conference·39 min

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

Analysts investigate attack surfaces and defenses concerning "Gradual typing of Ruby at Scale" by Dmytro Petrashko and Paul Tarjan.

Strange Loop Conference·33 min

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

Presenters detail vulnerability discovery and exploitation in "Typed Clojure: From Optional to Gradual Typing" by Ambrose Bonnaire-Sergeant.

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.