Skip to content

Rafael Pass

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

139

Venues

19

Active years

2003–2026

Best venue rank

A*

Where they publish

Papers

139 indexed papers, newest first.

YearVenueTitleAuthors
2026EuroCryptLower Bounds on the Overhead of Indistinguishability Obfuscation.Zhenjian Lu, Noam Mazor, Igor C. Oliveira, Rafael Pass
2025CRYPTOOn Witness Encryption and Laconic Zero-Knowledge Arguments.Yanyi Liu, Noam Mazor, Rafael Pass
2025CRYPTOHardness Along the Boundary: Towards One-Way Functions from the Worst-Case Hardness of Time-Bounded Kolmogorov Complexity.Yanyi Liu, Rafael Pass
2025TCCA Meta-complexity Theoretic Approach to Indistinguishability Obfuscation and Witness Pseudo-Canonicalization.Noam Mazor, Rafael Pass, Tomer Solomon
2024EuroCryptPublic-Coin, Complexity-Preserving, Succinct Arguments of Knowledge for NP from Collision-Resistance.Cody Freitag, Omer Paneth, Rafael Pass
2024EuroCryptA Direct PRF Construction from Kolmogorov Complexity.Yanyi Liu, Rafael Pass
2024TCCOn One-Way Functions, the Worst-Case Hardness of Time-Bounded Kolmogorov Complexity, and Computational Depth.Yanyi Liu, Rafael Pass
2023CRYPTOOne-Way Functions and the Hardness of (Probabilistic) Time-Bounded Kolmogorov Complexity w.r.t. Samplable Distributions.Yanyi Liu, Rafael Pass
2023FOCSKolmogorov Comes to Cryptomania: On Interactive Kolmogorov Complexity and Key-Agreement.Marshall Ball, Yanyi Liu, Noam Mazor, Rafael Pass
2023TCCSimplex Consensus: A Simple and Fast Consensus Protocol.Benjamin Y. Chan, Rafael Pass
2023TCCOn One-Way Functions and Sparse Languages.Yanyi Liu, Rafael Pass
2023TCCCounting Unpredictable Bits: A Simple PRG from One-Way Functions.Noam Mazor, Rafael Pass
2022ASIACRYPTConcurrently Composable Non-interactive Secure Computation.Andrew Morgan, Rafael Pass
2022FOCSIncrementally Verifiable Computation via Rate-1 Batch Arguments.Omer Paneth, Rafael Pass
2022TCCUniversal Reductions: Reductions Relative to Stateful Oracles.Benjamin Y. Chan, Cody Freitag, Rafael Pass
2022TCCParallelizable Delegation from LWE.Cody Freitag, Rafael Pass, Naomi Sirkin
2021CRYPTONon-malleable Codes for Bounded Parallel-Time Tampering.Dana Dachman-Soled, Ilan Komargodski, Rafael Pass
2021CRYPTOOn the Possibility of Basing Cryptography on EXP≠ BPP.Yanyi Liu, Rafael Pass
2021STOCIndistinguishability obfuscation from circular security.Romain Gay, Rafael Pass
2021STOCCryptography from sublinear-time average-case hardness of time-bounded Kolmogorov complexity.Yanyi Liu, Rafael Pass
2021TCCNon-malleable Time-Lock Puzzles and Applications.Cody Freitag, Ilan Komargodski, Rafael Pass, Naomi Sirkin
2020ASIACRYPTOn the Adaptive Security of MACs and PRFs.Andrew Morgan, Rafael Pass, Elaine Shi
2020EuroCryptSPARKs: Succinct Parallelizable Arguments of Knowledge.Naomi Ephraim, Cody Freitag, Ilan Komargodski, Rafael Pass
2020EuroCryptContinuous Verifiable Delay Functions.Naomi Ephraim, Cody Freitag, Ilan Komargodski, Rafael Pass
2020EuroCryptWhich Languages Have 4-Round Fully Black-Box Zero-Knowledge Arguments from One-Way Functions?Carmit Hazay, Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2020EuroCryptSuccinct Non-interactive Secure Computation.Andrew Morgan, Rafael Pass, Antigoni Polychroniadou
2020FOCSOn One-way Functions and Kolmogorov Complexity.Yanyi Liu, Rafael Pass
2020FOCSIs it Easier to Prove Theorems that are Guaranteed to be True?Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2020PKCSublinear-Round Byzantine Agreement Under Corrupt Majority.T.-H. Hubert Chan, Rafael Pass, Elaine Shi
2020SODABucket Oblivious Sort: An Extremely Simple Oblivious Sort.Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
2020SCNImpossibility of Strong KDM Security with Auxiliary Input.Cody Freitag, Ilan Komargodski, Rafael Pass
2020SCNUnprovability of Leakage-Resilient Cryptography Beyond the Information-Theoretic Limit.Rafael Pass
2019AIESParadoxes in Fair Computer-Aided Decision Making.Andrew Morgan, Rafael Pass
2019CRYPTONon-Uniformly Sound Certificates with Applications to Concurrent Zero-Knowledge.Cody Freitag, Ilan Komargodski, Rafael Pass
2019CRYPTOSynchronous, with a Chance of Partition Tolerance.Yue Guo, Rafael Pass, Elaine Shi
2019EuroCryptLocality-Preserving Oblivious RAM.Gilad Asharov, T.-H. Hubert Chan, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
2019EuroCryptConsensus Through Herding.T.-H. Hubert Chan, Rafael Pass, Elaine Shi
2019FCSnow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake.Phil Daian, Rafael Pass, Elaine Shi
2019FCMinimizing Trust in Hardware Wallets with Two Factor Signatures.Antonio Marcedone, Rafael Pass, Abhi Shelat
2019PODCCommunication Complexity of Byzantine Agreement, Revisited.Ittai Abraham, T.-H. Hubert Chan, Danny Dolev, Kartik Nayak, Rafael Pass, Ling Ren, Elaine Shi
2019SPBlind Certificate Authorities.Liang Wang, Gilad Asharov, Rafael Pass, Thomas Ristenpart, Abhi Shelat
2019SAGTOn the Existence of Nash Equilibrium in Games with Resource-Bounded Players.Joseph Y. Halpern, Rafael Pass, Daniel Reichman
2018CRYPTOOn the Complexity of Compressing Obfuscation.Gilad Asharov, Naomi Ephraim, Ilan Komargodski, Rafael Pass
2018EuroCryptThunderella: Blockchains with Optimistic Instant Confirmation.Rafael Pass, Elaine Shi
2018TCCGame Theoretic Notions of Fairness in Multi-party Coin Toss.Kai-Min Chung, Yue Guo, Wei-Kai Lin, Rafael Pass, Elaine Shi
2018TCCOn the Security Loss of Unique Signatures.Andrew Morgan, Rafael Pass
2018TCCAchieving Fair Treatment in Algorithmic Classification.Andrew Morgan, Rafael Pass
2017ASIACRYPTThe Sleepy Model of Consensus.Rafael Pass, Elaine Shi
2017EuroCryptAnalysis of the Blockchain Protocol in Asynchronous Networks.Rafael Pass, Lior Seeman, Abhi Shelat
2017EuroCryptFormal Abstractions for Attested Execution Secure Processors.Rafael Pass, Elaine Shi, Florian Tramr
2017FOCSTwo-Round and Non-Interactive Concurrent Non-Malleable Commitments from Time-Lock Puzzles.Huijia Lin, Rafael Pass, Pratik Soni
2017PODCFruitChains: A Fair Blockchain.Rafael Pass, Elaine Shi
2017TCCCan We Access a Database Both Locally and Privately?Elette Boyle, Yuval Ishai, Rafael Pass, Mary Wootters
2016KRSequential Equilibrium in Games of Imperfect Recall.Joseph Y. Halpern, Rafael Pass
2016PKCIndistinguishability Obfuscation with Non-trivial Efficiency.Huijia Lin, Rafael Pass, Karn Seth, Sidharth Telang
2016SCNBounded KDM Security from iO and OWF.Antonio Marcedone, Rafael Pass, Abhi Shelat
2016TCCOblivious Parallel RAM and Applications.Elette Boyle, Kai-Min Chung, Rafael Pass
2016TCCOutput-Compressing Randomized Encodings and Applications.Huijia Lin, Rafael Pass, Karn Seth, Sidharth Telang
2016TCCLower Bounds on Assumptions Behind Indistinguishability Obfuscation.Mohammad Mahmoody, Ameer Mohammed, Soheil Nematihaji, Rafael Pass, Abhi Shelat
2016TCCImpossibility of VBB Obfuscation with Ideal Constant-Degree Graded Encodings.Rafael Pass, Abhi Shelat
2015ASIACRYPTLimits of Extractability Assumptions with Distributional Auxiliary Input.Elette Boyle, Rafael Pass
2015CCSMicropayments for Decentralized Currencies.Rafael Pass, Abhi Shelat
2015CRYPTOLarge-Scale Secure Computation: Multi-party Computation for (Parallel) RAM Programs.Elette Boyle, Kai-Min Chung, Rafael Pass
2015CRYPTOConstant-Round Concurrent Zero-Knowledge from Indistinguishability Obfuscation.Kai-Min Chung, Huijia Lin, Rafael Pass
2015STOCSuccinct Randomized Encodings and their Applications.Nir Bitansky, Sanjam Garg, Huijia Lin, Rafael Pass, Sidharth Telang
2015TCCFrom Weak to Strong Zero-Knowledge and Applications.Kai-Min Chung, Edward Lui, Rafael Pass
2015TCCTight Parallel Repetition Theorems for Public-Coin Arguments Using KL-Divergence.Kai-Min Chung, Rafael Pass
2015TCCRound-Efficient Concurrently Composable Secure Computation via a Robust Extraction Lemma.Vipul Goyal, Huijia Lin, Omkant Pandey, Rafael Pass, Amit Sahai
2015TCCOutlier Privacy.Edward Lui, Rafael Pass
2014ASIACRYPTStatistically-secure ORAM with (logKai-Min Chung, Zhenming Liu, Rafael Pass
2014CRYPTOOn the Impossibility of Cryptography with Tamperable Randomness.Per Austrin, Kai-Min Chung, Mohammad Mahmoody, Rafael Pass, Karn Seth
2014CRYPTOIndistinguishability Obfuscation from Semantically-Secure Multilinear Encodings.Rafael Pass, Karn Seth, Sidharth Telang
2014FOCSOne-Way Functions and (Im)Perfect Obfuscation.Ilan Komargodski, Tal Moran, Moni Naor, Rafael Pass, Alon Rosen, Eylon Yogev
2014KRAxiomatizing Rationality.Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2014SPANONIZE: A Large-Scale Anonymous Survey System.Susan Hohenberger, Steven A. Myers, Rafael Pass, Abhi Shelat
2014SAGTOn the Impossibility of Black-Box Transformations in Mechanism Design.Rafael Pass, Karn Seth
2014TCCOn Extractability Obfuscation.Elette Boyle, Kai-Min Chung, Rafael Pass
2014TCC4-Round Resettably-Sound Zero Knowledge.Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Muthuramakrishnan Venkitasubramaniam, Ivan Visconti
2013FOCSFrom Unprovability to Environmentally Friendly Protocols.Ran Canetti, Huijia Lin, Rafael Pass
2013FOCSConstant-Round Concurrent Zero Knowledge from P-Certificates.Kai-Min Chung, Huijia Lin, Rafael Pass
2013FOCSSimultaneous Resettability from One-Way Functions.Kai-Min Chung, Rafail Ostrovsky, Rafael Pass, Ivan Visconti
2013FOCSKnowledge-Preserving Interactive Coding.Kai-Min Chung, Rafael Pass, Sidharth Telang
2013IJCAILanguage-Based Games.Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013IJCAISequential Equilibrium in Computational Games.Joseph Y. Halpern, Rafael Pass
2013STOCNon-black-box simulation from one-way functions and applications to resettable security.Kai-Min Chung, Rafael Pass, Karn Seth
2013TARKLanguage-based Games.Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2013TARKGame Theory with Translucent Players.Joseph Y. Halpern, Rafael Pass
2013TCCRandomness-Dependent Message Security.Eleanor Birrell, Kai-Min Chung, Rafael Pass, Sidharth Telang
2013TCCUnprovable Security of Perfect NIZK and Non-interactive Non-malleable Commitments.Rafael Pass
2012AAAII'm Doing as Well as I Can: Modeling People as Rational Finite Automata.Joseph Y. Halpern, Rafael Pass, Lior Seeman
2012ASIACRYPTA Unified Framework for UC from Only OT.Rafael Pass, Huijia Lin, Muthuramakrishnan Venkitasubramaniam
2012CRYPTOCrowd-Blending Privacy.Johannes Gehrke, Michael Hay, Edward Lui, Rafael Pass
2012CRYPTOBlack-Box Constructions of Composable Protocols without Set-Up.Huijia Lin, Rafael Pass
2012CRYPTOThe Curious Case of Non-Interactive Commitments - On the Power of Black-Box vs. Non-Black-Box Use of Primitives.Mohammad Mahmoody, Rafael Pass
2012TCCThe Knowledge Tightness of Parallel Zero-Knowledge.Kai-Min Chung, Rafael Pass, Wei-Lung Dustin Tseng
2011FOCSThe Randomness Complexity of Parallel Repetition.Kai-Min Chung, Rafael Pass
2011IJCAIApproximately Strategy-Proof Voting.Eleanor Birrell, Rafael Pass
2011STOCConstant-round non-malleable commitments from any one-way function.Huijia Lin, Rafael Pass
2011STOCLimits of provable security from standard assumptions.Rafael Pass
2011TARKReasoning about justified belief.Adam Bjorndahl, Joseph Y. Halpern, Rafael Pass
2011TCCTowards Privacy for Social Networks: A Zero-Knowledge Based Definition of Privacy.Johannes Gehrke, Edward Lui, Rafael Pass
2011TCCConcurrent Non-Malleable Zero Knowledge with Adaptive Inputs.Huijia Lin, Rafael Pass
2011TCCConcurrent Security and Non-malleability.Rafael Pass
2011TCCTowards Non-Black-Box Lower Bounds in Cryptography.Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam
2010CRYPTOConcurrent Non-Malleable Zero Knowledge Proofs.Huijia Lin, Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam
2010EuroCryptConstant-Round Non-malleable Commitments from Sub-exponential One-Way Functions.Rafael Pass, Hoeteck Wee
2010FOCSAdaptive Hardness and Composable Security in the Plain Model from Standard Assumptions.Ran Canetti, Huijia Lin, Rafael Pass
2010TCCAn Efficient Parallel Repetition Theorem.Johan Hstad, Rafael Pass, Douglas Wikstrm, Krzysztof Pietrzak
2010TCCEye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model.Rafael Pass, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam
2010TCCPrivate Coins versus Public Coins in Zero-Knowledge Proof Systems.Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2009CRYPTOOn the Composition of Public-Coin Zero-Knowledge Protocols.Rafael Pass, Wei-Lung Dustin Tseng, Douglas Wikstrm
2009IJCAIIterated Regret Minimization: A New Solution Concept.Joseph Y. Halpern, Rafael Pass
2009STOCNon-malleability amplification.Huijia Lin, Rafael Pass
2009STOCA unified framework for concurrent security: universal composability from stand-alone non-malleability.Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2009TARKA logical characterization of iterated admissibility.Joseph Y. Halpern, Rafael Pass
2009TARKAn epistemic characterization of zero knowledge.Joseph Y. Halpern, Rafael Pass, Vasumathi Raman
2009TCCBlack-Box Constructions of Two-Party Protocols from One-Way Functions.Rafael Pass, Hoeteck Wee
2008CRYPTOAdaptive One-Way Functions and Applications.Omkant Pandey, Rafael Pass, Vinod Vaikuntanathan
2008EuroCryptPrecise Concurrent Zero Knowledge.Omkant Pandey, Rafael Pass, Amit Sahai, Wei-Lung Dustin Tseng, Muthuramakrishnan Venkitasubramaniam
2008TCCConcurrent Non-malleable Commitments from Any One-Way Function.Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2008TCCOn Constant-Round Concurrent Zero-Knowledge.Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2007ASIACRYPTBounded CCA2-Secure Encryption.Ronald Cramer, Goichiro Hanaoka, Dennis Hofheinz, Hideki Imai, Eike Kiltz, Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan
2007ASIACRYPTRelations Among Notions of Non-malleability for Encryption.Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan
2007FOCSCryptography from Sunspots: How to Use an Imperfect Reference String.Ran Canetti, Rafael Pass, Abhi Shelat
2007STOCAn efficient parallel repetition theorem for Arthur-Merlin games.Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2007TCCUniversally Composable Security with Global Setup.Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi Walfish
2006CRYPTOConstruction of a Non-malleable Encryption Scheme from Any Semantically Secure One.Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan
2006FOCSInput-Indistinguishable Computation.Silvio Micali, Rafael Pass, Alon Rosen
2006STOCLocal zero knowledge.Silvio Micali, Rafael Pass
2005CRYPTOSecure Computation Without Authentication.Boaz Barak, Ran Canetti, Yehuda Lindell, Rafael Pass, Tal Rabin
2005CRYPTOUnconditional Characterizations of Non-interactive Zero-Knowledge.Rafael Pass, Abhi Shelat
2005FOCSConcurrent Non-Malleable Commitments.Rafael Pass, Alon Rosen
2005STOCNew and improved constructions of non-malleable cryptographic protocols.Rafael Pass, Alon Rosen
2004FOCSUniversally Composable Protocols with Relaxed Set-Up Assumptions.Boaz Barak, Ran Canetti, Jesper Buus Nielsen, Rafael Pass
2004STOCBounded-concurrent secure multi-party computation with a dishonest majority.Rafael Pass
2004TCCOn the Possibility of One-Message Weak Zero-Knowledge.Boaz Barak, Rafael Pass
2003CRYPTOOn Deniability in the Common Reference String and Random Oracle Model.Rafael Pass
2003EuroCryptSimulation in Quasi-Polynomial Time, and Its Application to Protocol Composition.Rafael Pass
2003FOCSBounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds.Rafael Pass, Alon Rosen