Rafael Pass
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 3 in the filters
on a stage with
- Romain Gayonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Crypto + Meta-complexity 2 | Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 | 2025-05-19 |
Equivalence shows one-way functions ↔ average-case MKtP and the proof uses a conditional PRG notion plus an entropy-preserving strengthening to get density in… | ||
| Crypto + Meta-complexity 1 | Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp 2025 | 2025-05-19 |
Claim: average-case hardness of time‑bounded Kolmogorov complexity (KT/MKTP, uniform input) is equivalent to existence of one‑way functions; proof builds a… | ||
| Circularity Based IO, Part 1 | Simons Institute Workshop: New Developments in Obfuscation | 2020-12-10 |
Proposes a concrete route from Split‑FHE to exponential IO (XAO): start with an LWE‑based FHE encrypting a circuit, homomorphically evaluate its truth table… | ||
| Consensus Through Herding | Large-Scale Consensus and Blockchains 2019 | 2019-10-22 |
Presents a protocol that achieves communication-efficient adaptive security for consensus without proof-of-work or erasure assumptions, using standard crypto… | ||
| nothing matches | ||