Projects per year
Fingerprint
Dive into the research topics where Alex Lombardi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
CAREER: Foundations of Post-Quantum and Quantum Cryptography
Lombardi, A. (PI)
NSF - National Science Foundation
6/1/26 → 5/31/31
Project: Research project
Research output
- 24 Conference contribution
-
SNARGs for NP and Non-signaling PCPs, Revisited
Devadas, L., Hopkins, S. B., Kalai, Y. T., Kothari, P. K., Lombardi, A. & Mathialagan, S., Jun 9 2026, STOC 2026 - Proceedings of the 58th Annual ACM Symposium on Theory of Computing. Bhaskara, A. & Czumaj, A. (eds.). Association for Computing Machinery, p. 665-674 10 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access1 Link opens in a new tab Scopus citations -
Universal SNARGs for NP from Proofs of Correctness
Jin, Z., Kalai, Y. T., Lombardi, A. & Mathialagan, S., Jun 15 2025, STOC 2025 - Proceedings of the 57th Annual ACM Symposium on Theory of Computing. Koucky, M. & Bansal, N. (eds.). Association for Computing Machinery, p. 933-943 11 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access7 Link opens in a new tab Scopus citations -
A One-Query Lower Bound for Unitary Synthesis and Breaking Quantum Cryptography
Lombardi, A., Ma, F. & Wright, J., Jun 10 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (eds.). Association for Computing Machinery, p. 979-990 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access16 Link opens in a new tab Scopus citations -
SNARGs under LWE via Propositional Proofs
Jin, Z., Kalai, Y., Lombardi, A. & Vaikuntanathan, V., Jun 10 2024, STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing. Mohar, B., Shinkar, I. & O�Donnell, R. (eds.). Association for Computing Machinery, p. 1750-1757 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access12 Link opens in a new tab Scopus citations -
Boosting Batch Arguments and RAM Delegation
Kalai, Y., Lombardi, A., Vaikuntanathan, V. & Wichs, D., Jun 2 2023, STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing. Saha, B. & Servedio, R. A. (eds.). Association for Computing Machinery, p. 1545-1552 8 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access46 Link opens in a new tab Scopus citations