"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
Security researchers examine technical aspects of "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
The Linux Foundation·13 min
Reviews keynote: Blurring the Lines: The Continuum Between Containers and VMs and evaluates key implications for security practitioners.
containersblurringline+1
Strange Loop Conference·41 min
Industry experts analyze emerging threats surrounding "War Time Proofs and Futuristic Programs" by Valeria de Paiva.
prooffuturisticvaleria+1
Strange Loop Conference·40 min
Presenters detail vulnerability discovery and exploitation in "Babashka: a meta-circular Clojure interpreter for the command line" by Michiel Borkent.
babashkameta-circularclojure+3