Skip to content

Surya Mathialagan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

5

Active years

2022–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026CRYPTOIncrementally Verifiable Computation Without Extraction.Abhishek Jain, Surya Mathialagan, Brent Waters
2026ICALPPreprocessed 3SUM for Unknown Universes with Subquadratic Space.Yael Kirkpatrick, John Kuszmaul, Surya Mathialagan, Virginia Vassilevska Williams
2026STOCSNARGs for NP and Non-signaling PCPs, Revisited.Lalita Devadas, Samuel B. Hopkins, Yael Tauman Kalai, Pravesh K. Kothari, Alex Lombardi, Surya Mathialagan
2026STOCSNARGs 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
2025CRYPTOPseudorandom Obfuscation and Applications.Pedro Branco, Nico Dttling, Abhishek Jain, Giulio Malavolta, Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan
2025CRYPTOIncrementally Verifiable Computation for NP from Standard Assumptions.Pratish Datta, Abhishek Jain, Zhengzhong Jin, Alexis Korb, Surya Mathialagan, Amit Sahai
2025CRYPTOSimple and General Counterexamples for Private-Coin Evasive LWE.Nico Dttling, Abhishek Jain, Giulio Malavolta, Surya Mathialagan, Vinod Vaikuntanathan
2025FOCSOn Succinct Obfuscation via Propositional Proofs.Abhishek Jain, Zhengzhong Jin, Surya Mathialagan, Omer Paneth
2025STOCUniversal SNARGs for NP from Proofs of Correctness.Zhengzhong Jin, Yael Tauman Kalai, Alex Lombardi, Surya Mathialagan
2024CRYPTOAdaptively Sound Zero-Knowledge SNARKs for UP.Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan
2024STOCTowards Optimal Output-Sensitive Clique Listing or: Listing Cliques from Smaller Cliques.Mina Dalirrooyfard, Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu
2023CRYPTOMacORAMa: Optimal Oblivious RAM with Integrity.Surya Mathialagan, Neekon Vafa
2023TCCMemory Checking for Parallel RAMs.Surya Mathialagan
2022ICALPListing, Verifying and Counting Lowest Common Ancestors in DAGs: Algorithms and Fine-Grained Lower Bounds.Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu