Web Analytics


Course Projects

Non-Black-Box Simulation [pdf]

  • Course project of Fundamentals of Cryptography.
  • A review for the paper How to Go Beyond the Black-Box Simulation Barrier.
  • Learned how to take advantage of knowing the malicious verifier's code.
  • Gained a better understanding of Zero-Knowledge Proof.

Propositional Dynamic Logic (PDL) [pdf]

  • Course project of Logic, Computation and Games.
  • Learned the connection between PDL and Public Announcement Language (PAL).
  • Used PDL to derive some recursion axioms of PAL, one of which is equivalent to but simpler than the axiom shown in the class.