Robuta

Bibliographic details on A Core Calculus for Equational Proofs of Cryptographic Protocols.

Jul 31, 2019 - Encryption in space can be tricky. Even if you do everything right, a cosmic ray might come along and flip a bit, sabotaging the whole secure protocol. If you...