The following examples are replays of interactive proofs done with the Squirrel Prover.

• Basic Hash
• Private Authentication
• Toy Counter
• YubiKey
• Signed DDH (role P) - Signed DDH (role S)
• Running Example Secrecy