picture of me

Rafael Pass

Assistant Professor

Department of Computer Science

Cornell University

 

Ph.D, MIT, 2006

 

Mail: first name at cs.cornell.edu
Telephone: +1 607 255 55 78
Address: Upson Hall, Cornell University
Ithaca, NY 14853 USA

 

Summary

I am an Assistant Professor in the Department of Computer Science at Cornell University since July 2006.
I obtained my Ph.D in the
Theory of Computation group at MIT with Silvio Micali as advisor.
Previously, I completed my Licentiate Thesis (M.S.) under the supervision of
Johan Hastad.

My research interests: Cryptography and its interplay with Computational Complexity and Game Theory.
My CV: pdf  (slightly outdated)

 

Teaching

 

Ph.D Students

 

Program Commitees

 

Publications

 

2008

  • Precise Concurrent Zero Knowledge. (EuroCrypt’08)
    O. Pandey, R. Pass, A. Sahai, W. Tseng and M. Venkitasubramaniam.
  • Concurrent Non-malleable Commitments from One-way Functions. (TCC’08)
    H. Lin, R. Pass and M. Venkitasubramaniam. pdf
  • On Constant-Round Concurrent Zero Knowledge. (TCC’08)
    R. Pass and M. Venkitasubramaniam. pdf

 

2007

  • Precise Cryptography
    S. Micali and R. Pass. pdf
    Manuscript, September 2007.
  • Relations Among Notions of Non-malleability for Encryption. (AsiaCrypt’07)
    R. Pass, V. Vaikuntanathan and A. Shelat. pdf
  • Bounded-CCA Secure Encryption. (AsiaCrypt’07)
    R. Cramer, G. Hanaoka, D. Hofheinz, H. Imai, E. Kiltz, R. Pass, A. Shelat and V. Vaikuntanathan. pdf
  • Cryptography from Sunspots: How to Use an Imperfect Reference String. (FOCS’07)
    R. Canetti, R. Pass and A. Shelat. pdf
  • An Efficient Parallel Repetition Theorem for Arthur-Merlin Games. (STOC’07)
    R. Pass and M. Venkitasubramaniam. pdf
  • Universally Composable Protocols with Global Set-up. (TCC’07)
    R. Canetti, Y. Dodis, R. Pass and S. Walfish. pdf

2006

  • A Precise Computational Approach to Knowledge.
    R. Pass. pdf
    Ph.D Thesis. Massachusetts Institute of Technology, July 2006.
  • Input-Indistinguishable Computation. (FOCS’06)
    S. Micali, R. Pass, A. Rosen. pdf
  • Construction of a Non-Malleable Encryption Scheme From Any Semantically Secure One. (Crypto’06)
    R. Pass, A. Shelat and V. Vaikuntanathan. pdf
  • On Arthur-Merlin Games and the Possibility of Basing Cryptography on NP-Hardness. (Complexity'06)
    R. Pass. pdf
    Invited to Computational Complexity, special issue on Conference of Computational Complexity 2006.
  • Local Zero Knowledge. (STOC'06)
    S. Micali and R. Pass.
    See A Precise Computational Approach to Knowledge for a longer version.

2005

  • Concurrent Non-Malleable Commitments. (FOCS'05, SICOMP’08)
    R. Pass and A. Rosen.
    pdf
    Invited to SIAM Journal of Computing, special issue for selected papers of FOCS 2005.
  • Unconditional Characterizations of Non-Interactive Zero-Knowledge. (CRYPTO'05)
    R. Pass and A. Shelat. ps , pdf
  • Secure Computation Without Authentication. (CRYPTO'05)
    B. Barak, R. Canetti, Y. Lindell, R. Pass and T. Rabin.
    ps , pdf
  • New and Improved Constructions of Non-Malleable Cryptographic Protocols. (STOC'05, SICOMP’08)
    R. Pass and A. Rosen.
    pdf
    Invited to SIAM Journal of Computing, special issue for selected papers of STOC 2005.

2004

  • Universally Composable Protocols with Relaxed Set-up Assumptions. (FOCS'04)
    B. Barak, R. Canetti, J. Nielsen and R. Pass. ps , pdf
  • Bounded-Concurrent Secure Multi-Party Computation with a Dishonest Majority. (STOC'04)
    R. Pass. ps , pdf
  • On the Possibility of One-Message Weak Zero-Knowledge. (TCC'04)
    B. Barak and R. Pass.
    ps , pdf
  • Alternative Variants of Zero-Knowledge Proofs.
    R. Pass.
    ps , pdf
    Licentiate (Master's) Thesis.
    ISBN 91-7283-933-3, 2004.

2003

  • Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds. (FOCS'03)
    R. Pass and A. Rosen. ps , pdf
  • On Deniabililty in the Common Reference String and Random Oracle Models. (CRYPTO'03)
    R. Pass.
    See Part II in Alternative Variants of Zero-Knowledge Proofs for a longer version.
  • Simulation in Quasi-Polynomial Time and Its Application to Protocol Composition. (EUROCRYPT'03)
    R. Pass.
    See Part I in Alternative Variants of Zero-Knowledge Proofs for a longer version.