• Protocols and formal verification [slides] [recording]