Surya Mathialagan
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Incrementally Verifiable Computation for NP from Standard Assumptions | Proofs (Simons Institute) | 2025-07-11 |
Construction shows two concrete IVC routes: one uses subexponential iO + LWE (or bilinear maps) plus rate‑1 BARGs and complexity leveraging to get proofs of… | ||
| Succinct Obfuscation via Propositional Proofs (or: How to use pv-IO) | Obfuscation | 2025-06-23 |
Constructs a notion of fully succinct pv-IO that makes an obfuscation size depend only on the secret part of a program, not the public description or input… | ||
| nothing matches | ||