Surya Mathialagan

According to our database, Surya Mathialagan authored at least 18 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Preprocessed 3SUM for Unknown Universes with Subquadratic Space.

Yael Kirkpatrick, John Kuszmaul, Surya Mathialagan, Virginia Vassilevska Williams

CoRR, February, 2026

SNARGs for NP from Unprovability of Mathematical Theorems.

Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan

Electron. Colloquium Comput. Complex., 2026

SNARGs for NP from Unprovability of Mathematical Theorems (Or: How to Use the Simplicity of Cryptographic Reasoning).

Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

SNARGs for NP and Non-signaling PCPs, Revisited.

Lalita Devadas, Samuel B. Hopkins, Yael Tauman Kalai, Pravesh K. Kothari, Alex Lombardi, Surya Mathialagan

Proceedings of the 58th Annual ACM Symposium on Theory of Computing, 2026

2025

Universal SNARGs for NP from Proofs of Correctness.

Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan

Proceedings of the 57th Annual ACM Symposium on Theory of Computing, 2025

On Succinct Obfuscation via Propositional Proofs.

Abhishek Jain, Zhengzhong Jin, Surya Mathialagan, Omer Paneth

Proceedings of the 66th IEEE Annual Symposium on Foundations of Computer Science, 2025

Simple and General Counterexamples for Private-Coin Evasive LWE.

Nico Döttling, Abhishek Jain, Giulio Malavolta, Surya Mathialagan, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

Incrementally Verifiable Computation for NP from Standard Assumptions.

Pratish Datta, Abhishek Jain, Zhengzhong Jin, Alexis Korb, Surya Mathialagan, Amit Sahai

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

Pseudorandom Obfuscation and Applications.

Pedro Branco, Nico Döttling, Abhishek Jain, Giulio Malavolta, Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - CRYPTO 2025, 2025

2024

A Note on the Conditional Optimality of Chiba and Nishizeki's Algorithms.

Yael Kirkpatrick, Surya Mathialagan

CoRR, 2024

Towards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques.

Mina Dalirrooyfard, Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu

Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024

Adaptively Sound Zero-Knowledge SNARKs for UP.

Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan

Proceedings of the Advances in Cryptology - CRYPTO 2024, 2024

2023

Distinct Distances on Non-Ruled Surfaces and Between Circles.

Surya Mathialagan, Adam Sheffer

Discret. Comput. Geom., March, 2023

Listing Cliques from Smaller Cliques.

Mina Dalirrooyfard, Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu

CoRR, 2023

Memory Checking for Parallel RAMs.

Surya Mathialagan

Proceedings of the Theory of Cryptography - 21st International Conference, 2023

MacORAMa: Optimal Oblivious RAM with Integrity.

Surya Mathialagan, Neekon Vafa

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

Listing, Verifying and Counting Lowest Common Ancestors in DAGs: Algorithms and Fine-Grained Lower Bounds.

Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

On Bipartite Distinct Distances in the Plane.

Surya Mathialagan

Electron. J. Comb., 2021