The Linux Foundation·28 min
Nick Fitzgerald · Bytecode Alliance
Reviews security and Correctness in Wasmtime and evaluates key implications for security practitioners.
correctneswasmtimevulnerability-research+2
correctnes
2 talks tagged with this topic.
Filters+
Loading filters…
1–2 of 2 talks · loading…
Strange Loop Conference·43 min
Martin Kleppmann
Presenters detail vulnerability discovery and exploitation in "Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann.
distributed-systemscorrectnesproof+3