1. Quantum interactive proofs using quantum energy teleportation;Quantum Information Processing;2024-06-12
2. Ligetron: Lightweight Scalable End-to-End Zero-Knowledge Proofs Post-Quantum ZK-SNARKs on a Browser;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
3. AlterEgo;Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking;2024-04-22
4. Approximate Lower Bound Arguments;Lecture Notes in Computer Science;2024
5. CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness;Lecture Notes in Computer Science;2024