1. SNARGs under LWE via Propositional Proofs;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. Indistinguishability Obfuscation, Range Avoidance, and Bounded Arithmetic;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02
3. Indistinguishability Obfuscation via Mathematical Proofs of Equivalence;2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS);2022-10
4. Approximate counting and NP search problems;Journal of Mathematical Logic;2022-06-22
5. Models of Bounded Arithmetic Theories and Some Related Complexity Questions;Bulletin of the Section of Logic;2022-06-07