Alex Lombardi
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 6 in the filters
on a stage with
- Fermi Ma3×
- Rahul Ilangoonce
- Vinod Vaikuntanathanonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Talk by Alex Lombardi (Princeton University) | Proofs (Simons Institute) | 2025-07-11 |
Provides a concrete path for when Fiat–Shamir is provably safe in the standard model: if the starting protocol has information-theoretic soundness and the hash… | ||
| Are Random Quantum Circuits PRUs? | Summer Cluster on Quantum Computing 2025 | 2025-07-07 |
Claims that random brickwork circuits are PRUs assuming no efficient algorithm can exactly learn a random circuit’s depth; proves a conditional reduction: if… | ||
| Beyond P versus NP: Using Complexity Theory in Obfuscation and Vice-Versa | Obfuscation | 2025-06-23 |
Claim: iO plus stronger-than-P≠NP complexity assumptions yields cryptographic objects whose hardness matches naive attacks. Techniques combine… | ||
| To interact or not to interact: Cryptographic proof systems and the Fiat-Shamir heuristic | Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 | 2025-05-19 |
Shows that zero-knowledge proofs for every NP language follow from one-way functions and that succinct arguments for NP use collision-resistant or vector… | ||
| Quantum Rewinding Tutorial, Part 1: Motivation and Early Rewinding Techniques | Quantum and Lattices Joint Reunion Workshop | 2022-06-13 |
Proves that Blum’s Hamiltonian-cycle protocol achieves post-quantum soundness and zero knowledge assuming collapse-binding commitments (instantiable from LWE… | ||
| Quantum Rewinding Tutorial, Part 2: How to Run a Quantum Attacker Many Times | Quantum and Lattices Joint Reunion Workshop | 2022-06-13 |
Shows a concrete alternating projectors procedure that repairs a measured quantum prover by alternating the challenge projector Pi_R with a projector… | ||
| Quantum Rewinding Tutorial, Part 3: Zero Knowledge Simulation Beyond Watrous | Quantum and Lattices Joint Reunion Workshop | 2022-06-13 |
Claims a constructive simulator that achieves guaranteed extraction of witnesses for three‑message proofs against quantum verifiers and then preserves the… | ||
| Correlation-Intractable Hash Functions via Shift-Hiding | ITCS 2022 | 2022-01-31 |
Gives a simple self-reduction showing that a shift-hiding PRF that is one-way on the zero output yields correlation-intractable hash families for many… | ||
| nothing matches | ||