Provably Correct, Secure, and Leakage-Free Systems (by anishathalye) — discussion
#formalmethods #security
