# content
On the Promises of 'High-Assurance' Cryptography (by nadim) — discussion

#cryptography #formalmethods