3 ms·

> The SSH handshake had been formally verified ... and the proofs are still "true". This seems unsurprising for me. Formal verification advocates believe it wi

by Macha 3y ago

> The SSH handshake had been formally verified ... and the proofs are still "true". This seems unsurprising for me. Formal verification advocates believe it will prevent all issues, but it seemed obvious to me that the verification is still vulnerable to human fallibility in deciding _what_ to verify.

lisper 3y ago
See also the Remote Agent Executive bug: https://ntrs.nasa.gov/api/citations/20000055731/downloads/20000055731.pdf https://ntrs.nasa.gov/api/citations/20000055731/downloads/20...