On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions [arxiv]

With Prof. Prabhanjan Ananth and Prof. Henry Yuen. Submitted

Attempts to Quantumly Solve Standard Lattice Problems [pdf]

With Prof. Yilei Chen, Dr. Qipeng Liu and Yaxin Tu.

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.