1. Self-Improvement for Circuit-Analysis Problems;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. Compact NIZKs from Standard Assumptions on Bilinear Maps;Journal of Cryptology;2024-05-13
3. Logic Locking over TFHE for Securing User Data and Algorithms;2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC);2024-01-22
4. PFE: Linear Active Security, Double-Shuffle Proofs, and Low-Complexity Communication;Lecture Notes in Computer Science;2024
5. Rescue to the Curse of universality;Science China Information Sciences;2023-08-02