Strange Loop Conference·41 min
Industry experts analyze emerging threats surrounding "Can a Programming Language Reason About Systems?" by Marianne Bellotti (Strange Loop 2023).
languagereasonsystem+2
bellotti
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
Strange Loop Conference·34 min
Presenters detail vulnerability discovery and exploitation in "Death of the Trusted Internet" by Marianne Bellotti.
deathtrustedinternet+2