SE547: Overview: Topics of Interest: Cryptographic Protocols [8/20]

• Specification of cryptographic protocols
  • make assumptions about the power of cryptographic primitives
  • nothing about cryptography itself
  • reasoning about cryptographic protocols using types