Practical Cryptography

• Privacy in deployed systems,
• Network protocols and which properties they provide,
• Zero-knowledge proofs for attestation and verification in real systems: proving parsing, digital credentials, proving 
  statements.
• Private information retrieval (PIR) as used in privacy-preserving services,
• Complex authentication mechanisms that combine multiple cryptographic tools.