Surya Mathialagan

Introduction

Hi! I am Surya, and I am a PhD student in the MIT Theory group. I am extremely fortunate to be advised by Vinod Vaikuntanathan and Virginia Vassilevska Williams. I am broadly interested in verifiable computation and fine-grained complexity.

Summer 2024: I am interning at NTT Research (CIS Lab).

Prior to this, I was an undergraduate at Caltech, where I had the pleasure to work with Christopher Umans and Adam Sheffer.

In my free time, I enjoy art, dancing, and playing music.

Home

Publications

Universal SNARGs for NP from Proofs of Correctness

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

Preprint

Pseudorandom Obfuscation and Applications

Pedro Branco, Nico Dottling, Abhishek Jain, Giulio Malavolta, Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan

Preprint

Adaptively Sound Zero-Knowledge SNARKs for UP

Surya Mathialagan, Spencer Peters, Vinod Vaikuntanathan

Crypto 2024

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

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

STOC 2024

Memory Checking for Parallel RAMs

Surya Mathialagan

TCC 2023

Best Young Researcher Award, Invited to Journal of Cryptology

MacORAMa: Optimal Oblivious RAM with Integrity

Surya Mathialagan, Neekon Vafa

Crypto 2023

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

Yael Kirkpatrick, Surya Mathialagan

Preprint

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

Surya Mathialagan, Virginia Vassilevska Williams, Yinzhan Xu

ICALP 2022

Distinct Distances between Non-Ruled Surfaces and between Circles

Surya Mathialagan, Adam Sheffer

Discrete & Computational Geometry, Volume 69, Issue 2, 2023

On Bipartite Distinct Distances in the Plane

Surya Mathialagan

The Electronic Journal of Combinatorics, Volume 28, Issue 4, 2022

Tromino Tiling

Liu Hang, Surya Mathialagan, Sean Pek

Mathematical Medley, Volume 40, 2014

In all of the works above, authors are ordered alphabetically by last name as is the norm in both mathematics and theoretical computer science.

Art