Timeline

• Ways to maintain ideas and thoughts, with my personal used tools

Knowledge

• Lambda Calculus
• Distributed Concept
• Raft
• ZooKeeper
• Functional Programming

Cryptography Things

• Homomorphic Encryption
• TCP vs UDP
• Public Key Encryption(PKE)
• Semantic Security
• Password Authenticated Key Exchange(PAKE)
• SRP
• Offline Dictionary Attack
• Differential Privacy

Security Proof

• Simulation in Security Proof
• Simulation-Based Security
• Universal Composable Security

Programming

Rust Learning

• Rust Basic

OCaml

• OCaml Revisit