• My DBLP entry
• Google Scholar

Selected Publications

(Most also available from the Cryptology ePrint Archive.)

• Juan A. Garay, Aggelos Kiayias, Yu Shen: State Machine Replication Among Strangers, Fast and Self-Sufficient. IACR Cryptol. ePrint Arch. 2025: 616 (2025). To appear in Crypto 2025.
• Juan A. Garay, Yun Lu, Julien Prat, Brady Testa, Vassilis Zikas: A Composability Treatment of Bitcoin’s Transaction Ledger with Variable Difficulty. IACR Cryptol.ePrintArch. 2024: 1823 (2024). To appear in Financial Crypto 2025.
• Alexandru Cojocaru, Juan A. Garay, Fang Song: Generalized Hybrid Search and Applications to Blockchain and Hash Function Security. CoRR abs/2311.03723 (2023). ASIACRYPT (9) 2024: 65-93.
• Alexandru Cojocaru, Juan A. Garay, Qipeng Liu, Fang Song: Improved Quantum Lifting by Coherent Measure-and-Reprogram. ASIACRYPT (9) 2024: 158-184.
• Nishanth Chandran, Juan A. Garay, Ankit Kumar Misra, Rafail Ostrovsky, Vassilis Zikas: Adaptive Security, Erasures, and Network Assumptions in Communication-Local MPC.  TCC(4) 2024: 293-326. Cryptology ePrint Archive, Report 2024/1489.
• Marshall Ball, Juan A. Garay, Peter Hall, Aggelos Kiayias, Giorgos Panagiotakos: Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity. Cryptology ePrint Archive, Report 2024/637. CRYPTO (2) 2024: 113-146.
• Juan A. Garay, Aggelos Kiayias, Yu Shen: Proof-of-Work-based Consensus in Expected-Constant Time. Cryptology ePrint Archive, Report 2023/1663. Eurocrypt (III) 2024: 96-125.
• Ran Cohen, Pouyan Forghani, Juan A. Garay, Rutvik Patel, Vassilis Zikas: Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited. Cryptology ePrint Archive, Report 2023/1003. TCC (4) 2023: 422-451.
• Ran Cohen, Juan A. Garay, Vassilis Zikas: Completeness Theorems for Adaptively Secure Broadcast. Cryptology ePrint Archive, Report 2021/775. CRYPTO (1) 2023: 3-38.
• Alexandru Cojocaru, Juan A. Garay, Aggelos Kiayias, Fang Song, Petros Wallden:
• Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin’s Post-Quantum Security. Quantum 7: 944 (2023). CoRR abs/2012.15254 (2020).
• Juan A. Garay, Aggelos Kiayias, Yu Shen: Permissionless Clock Synchronization with Public Setup. Cryptology ePrint Archive, Report 2022/1220. TCC (3) 2022: 181-211.
• 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, Markus Jakobsson: Timed Release of Standard Digital Signatures. Financial Cryptography 2002: 168-182
• 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
• José Carlos Brustoloni, Juan A. Garay: MicroISPs: providing convenient and low-cost high-bandwidth Internet access. Comput. Networks 33(1-6): 789-802 (2000)
• José Carlos Brustoloni, Juan A. Garay: Application-Independent End-to-End Security in Shared-Link Access Networks. NETWORKING 2000: 608-619
• 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
• Matthew K. Franklin, Juan A. Garay, Moti Yung: Self-Testing/Correcting Protocols (Extended Abstract). DISC 1999: 269-283
• 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: Batch Verification with Applications to Cryptography and Checking (Invited paper). LATIN 1998: 170-191
• Juan A. Garay, Rosario Gennaro, Charanjit S. Jutla, Tal Rabin: Secure Distributed Storage and Retrieval. WDAG 1997: 275-289
• Juan A. Garay, Inder S. Gopal, Shay Kutten, Yishay Mansour, Moti Yung: Efficient On-Line Call Control Algorithms. J. Algorithms 23(1): 180-194 (1997)
• Mark Moir, Juan A. Garay: Fast, Long-Lived Renaming Improved and Simplified. WDAG 1996: 287-303
• 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)
• Sudhanshu Aggarwal, Juan A. Garay, Amir Herzberg: Adaptive Video on Demand. ESA 1995: 538-553
• Mihir Bellare, Amir Herzberg, Michael Steiner, Gene Tsudik, Michael Waidner, Ralf C. Hauser, Juan A. Garay: iKP – A Family of Secure Electronic Payment Protocols. USENIX Workshop on Electronic Commerce 1995
• Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman: Optimal Resiliency against Mobile Faults. FTCS 1995: 83-88
• Juan A. Garay: Reaching (and Maintaining) Agreement in the Presence of Mobile Faults (Extended Abstract). WDAG 1994: 253-264
• Piotr Berman, Juan A. Garay: Randomized Distributed Agreement Revisited. FTCS 1993: 412-419
• Piotr Berman, Juan A. Garay: Cloture Votes: n/4-Resilient Distributed Consensus in t+1 Rounds. Math. Syst. Theory 26(1): 3-19 (1993)
• Juan A. Garay, Kenneth J. Perry: A Continuum of Failure Models for Distributed Computing. WDAG 1992: 153-165
• Juan A. Garay, Inder S. Gopal: Call Preemption in Communication Networks. INFOCOM 1992: 1043-1050
• Piotr Berman, Juan A. Garay, Kenneth J. Perry: Optimal Early Stopping in Distributed Consensus (Extended Abstract). WDAG 1992: 221-237
• Piotr Berman, Juan A. Garay: Efficient Distributed Consensus with n = (3 + epsilon) t Processors (Extended Abstract). WDAG 1991: 129-142
• Piotr Berman, Juan A. Garay, Kenneth J. Perry: Towards Optimal Distributed Consensus (Extended Abstract). FOCS 1989: 410-415
• Piotr Berman, Juan A. Garay: Efficient Agreement on Bounded-Degree Networks. ICPP (1) 1989: 188-191
• Piotr Berman, Juan A. Garay: Asymptotically Optimal Distributed Consensus (Extended Abstract).ICALP 1989: 80-94