Robert Cunningham

Latest

• Adversary Safety by Construction in a Language of Cryptographic Protocols
• Blockchain Technology: What Is It Good For?