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