Strange Loop Conference·39 min
Presenters detail vulnerability discovery and exploitation in "A Little Taste of Dependent Types" by David Christiansen.
tastedependenttype+2
2 talks tagged with this topic.
Loading filters…
1–1 of 1 talk / 2 · loading…
Strange Loop Conference·39 min
Presenters detail vulnerability discovery and exploitation in "A Little Taste of Dependent Types" by David Christiansen.