Strange Loop Conference·37 min
Presenters detail vulnerability discovery and exploitation in "Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann.
typinguntypedsoundnes+3
soundnes
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…