• My DBLP entry
• Google Scholar

Selected Publications

(Most also available from the Cryptology ePrint Archive.)

• Juan A. Garay, Aggelos Kiayias, Yu Shen: Permissionless Clock Synchronization with Public Setup. IACR Cryptol. ePrint Arch. 2022: 1220 (2022). To appear in TCC 2022.
• Ran Cohen, Juan A. Garay, Vassilis Zikas: Completeness Theorems for Adaptively Secure Broadcast. Cryptology ePrint Archive, Report 2021/775.
• Nishanth Chandran, Pouyan Forghani, Juan A. Garay, Rafail Ostrovsky, Rutvik Patel, Vassilis Zikas: Universally Composable Almost-Everywhere Secure Computation.  ITC 2022: 14:1-14:25. Full version at Cryptology ePrint Archive, Report 2021/1398.
• Juan A. Garay, Yu Shen: On Bitcoin Cash’s Target Recalculation Functions. ACM Advances in Financial Technologies — AFT ’21, September 26-28, 2021.
• Juan A. Garay, Aggelos Kiayias, Giorgos Panagiotakos: Blockchains from Non-idealized Hash Functions. TCC (1) 2020: 291-321
• Juan A. Garay, David S. Johnson, Aggelos Kiayias, Moti Yung: The combinatorics of hidden diversity. Theor. Comput. Sci. 812: 80-95 (2020)
• Juan A. Garay, Aggelos Kiayias, Rafail M. Ostrovsky, Giorgos Panagiotakos, Vassilis Zikas: Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era. EUROCRYPT (2) 2020: 129-158
• Ran Cohen, Juan A. Garay, Vassilis Zikas: Broadcast-Optimal Two-Round MPC. EUROCRYPT (2) 2020: 828-858
• Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas: Probabilistic Termination and Composability of Cryptographic Protocols. J. Cryptol. 32(3): 690-741 (2019)
• Christian Badertscher, Juan A. Garay, Ueli Maurer, Daniel Tschudi, Vassilis Zikas: But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. EUROCRYPT (2) 2018: 34-65
• Juan A. Garay, Aggelos Kiayias, Nikos Leonardos, Giorgos Panagiotakos: Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup. Public Key Cryptography (2) 2018: 465-495
• Juan A. Garay, Yuval Ishai, Rafail Ostrovsky, Vassilis Zikas: The Price of Low Communication in Secure Multi-party Computation. CRYPTO (1) 2017: 420-446
• Juan A. Garay, Vladimir Kolesnikov, Rae McLellan: MAC Precomputation with Applications to Secure Memory. ACM Trans. Priv. Secur. 19(2): 6:1-6:21 (2016)
• Yi Deng, Juan A. Garay, San Ling, Huaxiong Wang, Moti Yung: On the Implausibility of Constant-Round Public-Coin Zero-Knowledge Proofs. SCN 2016: 237-253
• Juan A. Garay, Aggelos Kiayias, Nikos Leonardos: The Bitcoin Backbone Protocol: Analysis and Applications. EUROCRYPT (2) 2015: 281-310
• Nishanth Chandran, Juan A. Garay, Rafail Ostrovsky: Almost-Everywhere Secure Computation with Edge Corruptions. J. Cryptol. 28(4): 745-768 (2015)
• Juan A. Garay, Ran Gelles, David S. Johnson, Aggelos Kiayias, Moti Yung: A Little Honesty Goes a Long Way – The Two-Tier Model for Secure Multiparty Computation. TCC (1) 2015: 134-158
• Juan A. Garay, Jonathan Katz, Björn Tackmann, Vassilis Zikas: How Fair is Your Protocol?: A Utility-based Approach to Protocol Optimality. PODC 2015: 281-290
• Juan A. Garay, Clint Givens, Rafail Ostrovsky: Secure Message Transmission With Small Public Discussion. IEEE Trans. Inf. Theory 60(4): 2373-2390 (2014)
• Juan A. Garay, Clinton Givens, Rafail Ostrovsky, Pavel Raykov: Fast and unconditionally secure anonymous channel. PODC 2014: 313-321
• Juan A. Garay, Jonathan Katz, Ueli Maurer, Björn Tackmann, Vassilis Zikas: Rational Protocol Design: Cryptography against Incentive-Driven Adversaries. FOCS 2013: 648-657
• Juan A. Garay, David S. Johnson, Aggelos Kiayias, Moti Yung: Resource-based corruptions and the combinatorics of hidden diversity. ITCS 2013: 415-428
• Reza Curtmola, Juan A. Garay, Seny Kamara, Rafail Ostrovsky: Searchable symmetric encryption: Improved definitions and efficient constructions. J. Comput. Secur. 19(5): 895-934 (2011)
• Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran, Ke Yang: Resource Fairness and Composability of Cryptographic Protocols. J. Cryptol. 24(4): 615-658 (2011)
• Juan A. Garay, Jonathan Katz, Ranjit Kumaresan, Hong-Sheng Zhou: Adaptively secure broadcast, revisited. PODC 2011: 179-186
• Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou: A Framework for the Sound Specification of Cryptographic Tasks. CSF 2010: 277-289
• Juan A. Garay, Daniel Wichs, Hong-Sheng Zhou: Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer. CRYPTO 2009: 505-523
• Juan A. Garay, Rafail Ostrovsky: Almost-Everywhere Secure Computation. EUROCRYPT 2008: 307-323
• Juan A. Garay, Jonathan Katz, Chiu-Yuen Koo, Rafail Ostrovsky: Round Complexity of Authenticated Broadcast with a Dishonest Majority. FOCS 2007: 658-668
• Juan A. Garay, Berry Schoenmakers, José Villegas: Practical and Secure Solutions for Integer Comparison. Public Key Cryptography 2007: 330-342
• Juan A. Garay, Philip D. MacKenzie, Ke Yang: Strengthening Zero-Knowledge Protocols Using Signatures. J. Cryptol. 19(2): 169-209 (2006)
• Matthias Fitzi, Juan A. Garay, Shyamnath Gollakota, C. Pandu Rangan, K. Srinathan: Round-Optimal and Efficient Verifiable Secret Sharing. TCC 2006: 329-342
• Matthis Fitzi, Juan A. Garay, Ueli M. Maurer, Rafail Ostrovsky: Minimal Complete Primitives for Secure Multi-Party Computation. J. Cryptol. 18(1): 37-61 (2005)
• Juan A. Garay, Philip Mackenzie, Ke Yang: Efficient and Universally Composable Committed Oblivious Transfer and Applications.TCC 2004: 297-316
• Juan A. Garay, Carl Pomerance: Timed Fair Exchange of Standard Signatures: [Extended Abstract].Financial Cryptography 2003: 190-207
• Matthias Fitzi, Juan A. Garay: Efficient player-optimal protocols for strong and differential consensus.PODC 2003: 211-220
• Juan A. Garay, Joseph Naor, Bülent Yener, Peng Zhao: On-line Admission Control and Packet Scheduling with Interleaving.INFOCOM 2002: 94-103
• Mihir Bellare, Juan A. Garay, Ralf C. Hauser, Amir Herzberg, Hugo Krawczyk, Michael Steiner, Gene Tsudik, Els Van Herreweghen, Michael Waidner: Design, implementation, and deployment of the iKP secure electronic payment system. IEEE J. Sel. Areas Commun. 18(4): 611-627 (2000)
• Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Tal Rabin: Secure distributed storage and retrieval.Theor. Comput. Sci. 243(1-2): 363-389 (2000)
• Juan A. Garay, Jessica Staddon, Avishai Wool: Long-Lived Broadcast Encryption. CRYPTO 2000: 333-352
• Juan A. Garay, Philip D. MacKenzie: Concurrent Oblivious Transfer.FOCS 2000: 314-324
• Harry Buhrman, Matthew K. Franklin, Juan A. Garay, Jaap-Henk Hoepman, John Tromp, Paul M. B. Vitányi: Mutual Search. J. ACM 46(4): 517-536 (1999)
• Juan A. Garay, Markus Jakobsson, Philip D. MacKenzie: Abuse-Free Optimistic Contract Signing.CRYPTO 1999: 449-466
• Ran Canetti, Juan A. Garay, Gene Itkis, Daniele Micciancio, Moni Naor, Benny Pinkas: Multicast Security: A Taxonomy and Some Efficient Constructions.INFOCOM 1999: 708-716
• Juan A. Garay, Yoram Moses: Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. SIAM J. Comput. 27(1): 247-290 (1998)
• Juan A. Garay, Shay Kutten, David Peleg: A Sublinear Time Distributed Algorithm for Minimum-Weight Spanning Trees. SIAM J. Comput. 27(1): 302-316 (1998)
• Piotr Berman, Juan A. Garay: Adaptability and the Usefulness of Hints.ESA 1998: 271-282
• Mihir Bellare, Juan A. Garay, Tal Rabin: Fast Batch Verification for Modular Exponentiation and Digital Signatures. EUROCRYPT 1998: 236-250
• Mihir Bellare, Juan A. Garay, Tal Rabin: Distributed Pseudo-Random Bit Generators – A New Way to Speed-Up Shared Coin Tossing.PODC 1996: 191-200
• Amotz Bar-Noy, Xiaotie Deng, Juan A. Garay, Tiko Kameda: Optimal Amortized Distributed Consensus.Inf. Comput. 120(1): 93-100 (1995)
• Piotr Berman, Juan A. Garay, Kenneth J. Perry: Towards Optimal Distributed Consensus (Extended Abstract).FOCS 1989: 410-415
• Piotr Berman, Juan A. Garay: Asymptotically Optimal Distributed Consensus (Extended Abstract).ICALP 1989: 80-94