State Machine Replication Among Strangers, Fast and Self-Sufficient. - Garay, Juan A.; Kiayias, Aggelos; Shen, Yu (IACR Cryptol. ePrint Arch., 2025)

The Bitcoin Backbone Protocol: Analysis and Applications. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (J. ACM, 2024)

Generalized Hybrid Search with Applications to Blockchains and Hash Function Security. - Cojocaru, Alexandru; Garay, Juan A.; Song, Fang (2024)

Improved Quantum Lifting by Coherent Measure-and-Reprogram. - Cojocaru, Alexandru; Garay, Juan A.; Liu, Qipeng; Song, Fang (2024)

Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity. - Ball, Marshall; Garay, Juan A.; Hall, Peter; Kiayias, Aggelos; Panagiotakos, Giorgos (2024)

Proof-of-Work-Based Consensus in Expected-Constant Time. - Garay, Juan A.; Kiayias, Aggelos; Shen, Yu (2024)

Adaptive Security, Erasures, and Network Assumptions in Communication-Local MPC. - Chandran, Nishanth; Garay, Juan A.; Misra, Ankit Kumar; Ostrovsky, Rafail; Zikas, Vassilis (2024)

Towards Permissionless Consensus in the Standard Model via Fine-Grained Complexity. - Ball, Marshall; Garay, Juan A.; Hall, Peter; Kiayias, Aggelos; Panagiotakos, Giorgos (IACR Cryptol. ePrint Arch., 2024)

Adaptive Security, Erasures, and Network Assumptions in Communication-Local MPC. - Chandran, Nishanth; Garay, Juan A.; Misra, Ankit Kumar; Ostrovsky, Rafail; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2024)

A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty. - Garay, Juan A.; Lu, Yun; Prat, Julien; Testa, Brady; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2024)

Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's Post-Quantum Security. - Cojocaru, Alexandru; Garay, Juan A.; Kiayias, Aggelos; Song, Fang; Wallden, Petros (Quantum, 2023)

Completeness Theorems for Adaptively Secure Broadcast. - Cohen, Ran; Garay, Juan A.; Zikas, Vassilis (2023)

Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited. - Cohen, Ran; Forghani, Pouyan; Garay, Juan A.; Patel, Rutvik; Zikas, Vassilis (2023)

Generalized Hybrid Search and Applications to Blockchain and Hash Function Security. - Cojocaru, Alexandru; Garay, Juan A.; Song, Fang (CoRR, 2023)

Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited. - Cohen, Ran; Forghani, Pouyan; Garay, Juan A.; Patel, Rutvik; Zikas, Vassilis (CoRR, 2023)

Generalized Hybrid Search and Applications. - Cojocaru, Alexandru; Garay, Juan A.; Song, Fang (IACR Cryptol. ePrint Arch., 2023)

Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited. - Cohen, Ran; Forghani, Pouyan; Garay, Juan A.; Patel, Rutvik; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2023)

Proof-of-Work-based Consensus in Expected-Constant Time. - Garay, Juan A.; Kiayias, Aggelos; Shen, Yu (IACR Cryptol. ePrint Arch., 2023)

Universally Composable Almost-Everywhere Secure Computation. - Chandran, Nishanth; Forghani, Pouyan; Garay, Juan A.; Ostrovsky, Rafail; Patel, Rutvik; Zikas, Vassilis (2022)

Permissionless Clock Synchronization with Public Setup. - Garay, Juan A.; Kiayias, Aggelos; Shen, Yu (2022)

Financial Cryptography and Data Security - 26th International Conference, FC 2022, Grenada, May 2-6, 2022, Revised Selected Papers (Springer, 2022)

Permissionless Clock Synchronization with Public Setup. - Garay, Juan A.; Kiayias, Aggelos; Shen, Yu (IACR Cryptol. ePrint Arch., 2022)

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (J. Cryptol., 2021)

On Bitcoin cash's target recalculation functions. - Garay, Juan A.; Shen, Yu (2021)

Public-Key Cryptography - PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part I (Springer, 2021)

Public-Key Cryptography - PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10-13, 2021, Proceedings, Part II (Springer, 2021)

The Bitcoin Cash Backbone Protocol. - Garay, Juan A.; Shen, Yu (IACR Cryptol. ePrint Arch., 2021)

Adaptively Secure Broadcast in Resource-Restricted Cryptography. - Cohen, Ran; Garay, Juan A.; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2021)

Universally Composable Almost-Everywhere Secure Computation. - Chandran, Nishanth; Forghani, Pouyan; Garay, Juan A.; Ostrovsky, Rafail; Patel, Rutvik; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2021)

The combinatorics of hidden diversity. - Garay, Juan A.; Johnson, David S.; Kiayias, Aggelos; Yung, Moti (Theor. Comput. Sci., 2020)

SoK: A Consensus Taxonomy in the Blockchain Era. - Garay, Juan A.; Kiayias, Aggelos (2020)

Consensus from Signatures of Work. - Garay, Juan A.; Kiayias, Aggelos; Panagiotakos, Giorgos (2020)

Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era. - Garay, Juan A.; Kiayias, Aggelos; Ostrovsky, Rafail M.; Panagiotakos, Giorgos; Zikas, Vassilis (2020)

Broadcast-Optimal Two-Round MPC. - Cohen, Ran; Garay, Juan A.; Zikas, Vassilis (2020)

Blockchains from Non-idealized Hash Functions. - Garay, Juan A.; Kiayias, Aggelos; Panagiotakos, Giorgos (2020)

Post-Quantum Security of the Bitcoin Backbone and Quantum Multi-Solution Bernoulli Search. - Cojocaru, Alexandru; Garay, Juan A.; Kiayias, Aggelos; Song, Fang; Wallden, Petros (CoRR, 2020)

Full Analysis of Nakamoto Consensus in Bounded-Delay Networks. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (IACR Cryptol. ePrint Arch., 2020)

Probabilistic Termination and Composability of Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (J. Cryptol., 2019)

Perennial secure multi-party computation of universal Turing machine. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Kumaramangalam, Muni Venkateswarlu (Theor. Comput. Sci., 2019)

Iterated Search Problems and Blockchain Security under Falsifiable Assumptions. - Garay, Juan A.; Kiayias, Aggelos; Panagiotakos, Giorgos (IACR Cryptol. ePrint Arch., 2019)

The Bitcoin Backbone Protocol Against Quantum Adversaries. - Cojocaru, Alexandru; Garay, Juan A.; Kiayias, Aggelos; Song, Fang; Wallden, Petros (IACR Cryptol. ePrint Arch., 2019)

Broadcast-Optimal Two-Round MPC. - Cohen, Ran; Garay, Juan A.; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2019)

Resource-Restricted Cryptography: Honest-Majority MPC from a CRS (and No Broadcast). - Garay, Juan A.; Kiayias, Aggelos; Ostrovsky, Rafail; Panagiotakos, Giorgos; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2019)

But Why Does It Work? A Rational Protocol Design Treatment of Bitcoin. - Badertscher, Christian; Garay, Juan A.; Maurer, Ueli; Tschudi, Daniel; Zikas, Vassilis (2018)

Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos; Panagiotakos, Giorgos (2018)

But Why does it Work? A Rational Protocol Design Treatment of Bitcoin. - Badertscher, Christian; Garay, Juan A.; Maurer, Ueli; Tschudi, Daniel; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2018)

SoK: A Consensus Taxonomy in the Blockchain Era. - Garay, Juan A.; Kiayias, Aggelos (IACR Cryptol. ePrint Arch., 2018)

Special Issue: Algorithmic Tools in Cryptography. - Garay, Juan A.; Ostrovsky, Rafail (Algorithmica, 2017)

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case. - Chandran, Nishanth; Garay, Juan A.; Mohassel, Payman; Vusirikala, Satyanarayana (2017)

The Bitcoin Backbone Protocol with Chains of Variable Difficulty. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (2017)

The Price of Low Communication in Secure Multi-party Computation. - Garay, Juan A.; Ishai, Yuval; Ostrovsky, Rafail; Zikas, Vassilis (2017)

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (2017)

Brief Announcement: Secure Self-Stabilizing Computation. - Dolev, Shlomi; Eldefrawy, Karim; Garay, Juan A.; Kumaramangalam, Muni Venkateswarlu; Ostrovsky, Rafail; Yung, Moti (2017)

Round-Preserving Parallel Composition of Probabilistic-Termination Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2017)

Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case. - Chandran, Nishanth; Garay, Juan A.; Mohassel, Payman; Vusirikala, Satyanarayana (IACR Cryptol. ePrint Arch., 2017)

The Price of Low Communication in Secure Multi-Party Computation. - Garay, Juan A.; Ishai, Yuval; Ostrovsky, Rafail; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2017)

Proofs of Work for Blockchain Protocols. - Garay, Juan A.; Kiayias, Aggelos; Panagiotakos, Giorgos (IACR Cryptol. ePrint Arch., 2017)

MAC Precomputation with Applications to Secure Memory. - Garay, Juan A.; Kolesnikov, Vladimir; McLellan, Rae (ACM Trans. Priv. Secur., 2016)

Constant-Round Asynchronous Multi-Party Computation Based on One-Way Functions. - Coretti, Sandro; Garay, Juan A.; Hirt, Martin; Zikas, Vassilis (2016)

Probabilistic Termination and Composability of Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (2016)

On the Implausibility of Constant-Round Public-Coin Zero-Knowledge Proofs. - Deng, Yi; Garay, Juan A.; Ling, San; Wang, Huaxiong; Yung, Moti (2016)

Optimal Probabilistic Synchronous Byzantine Agreement. - Garay, Juan A. (2016)

Constant-Round Asynchronous Multi-Party Computation. - Coretti, Sandro; Garay, Juan A.; Hirt, Martin; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2016)

Probabilistic Termination and Composability of Cryptographic Protocols. - Cohen, Ran; Coretti, Sandro; Garay, Juan A.; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2016)

Short and Adjustable Signatures. - Fan, Xiong; Garay, Juan A.; Mohassel, Payman (IACR Cryptol. ePrint Arch., 2016)

Bootstrapping the Blockchain - Directly. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos; Panagiotakos, Giorgos (IACR Cryptol. ePrint Arch., 2016)

The Bitcoin Backbone Protocol with Chains of Variable Difficulty. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (IACR Cryptol. ePrint Arch., 2016)

Towards efficient private distributed computation on unbounded input streams. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Yuditsky, Yelena (J. Math. Cryptol., 2015)

Almost-Everywhere Secure Computation with Edge Corruptions. - Chandran, Nishanth; Garay, Juan A.; Ostrovsky, Rafail (J. Cryptol., 2015)

The Bitcoin Backbone Protocol: Analysis and Applications. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (2015)

The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults. - Chandran, Nishanth; Chongchitmate, Wutichai; Garay, Juan A.; Goldwasser, Shafi; Ostrovsky, Rafail; Zikas, Vassilis (2015)

Blockchain-Based Consensus (Keynote). - Garay, Juan A. (2015)

How Fair is Your Protocol?: A Utility-based Approach to Protocol Optimality. - Garay, Juan A.; Katz, Jonathan; Tackmann, Björn; Zikas, Vassilis (2015)

A Little Honesty Goes a Long Way - The Two-Tier Model for Secure Multiparty Computation. - Garay, Juan A.; Gelles, Ran; Johnson, David S.; Kiayias, Aggelos; Yung, Moti (2015)

Fair Distributed Computation of Reactive Functions. - Garay, Juan A.; Tackmann, Björn; Zikas, Vassilis (2015)

How Fair is Your Protocol? A Utility-based Approach to Protocol Optimality. - Garay, Juan A.; Katz, Jonathan; Tackmann, Björn; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2015)

Fair Distributed Computation of Reactive Functions. - Garay, Juan A.; Tackmann, Björn; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2015)

Secure Message Transmission With Small Public Discussion. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail (IEEE Trans. Inf. Theory, 2014)

On the Complexity of UC Commitments. - Garay, Juan A.; Ishai, Yuval; Kumaresan, Ranjit; Wee, Hoeteck (2014)

Fast and unconditionally secure anonymous channel. - Garay, Juan A.; Givens, Clinton; Ostrovsky, Rafail; Raykov, Pavel (2014)

EyeDecrypt - Private Interactions in Plain Sight. - Forte, Andrea G.; Garay, Juan A.; Jim, Trevor; Vahlis, Yevgeniy (2014)

Advances in Cryptology - CRYPTO 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I (Springer, 2014)

Advances in Cryptology - CRYPTO 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II (Springer, 2014)

A Little Honesty Goes a Long Way: The Two-Tier Model for Secure Multiparty Computation. - Garay, Juan A.; Gelles, Ran; Johnson, David S.; Kiayias, Aggelos; Yung, Moti (IACR Cryptol. ePrint Arch., 2014)

Optimally Resilient and Adaptively Secure Multi-Party Computation with Low Communication Locality. - Chandran, Nishanth; Chongchitmate, Wutichai; Garay, Juan A.; Goldwasser, Shafi; Ostrovsky, Rafail; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2014)

The Bitcoin Backbone Protocol: Analysis and Applications. - Garay, Juan A.; Kiayias, Aggelos; Leonardos, Nikos (IACR Cryptol. ePrint Arch., 2014)

Towards Efficient Private Distributed Computation on Unbounded Input Streams - (Extended Abstract). - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Yuditsky, Yelena (2013)

Rational Protocol Design: Cryptography against Incentive-Driven Adversaries. - Garay, Juan A.; Katz, Jonathan; Maurer, Ueli; Tackmann, Björn; Zikas, Vassilis (2013)

Broadcast (and Round) Efficient Verifiable Secret Sharing. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail; Raykov, Pavel (2013)

Resource-based corruptions and the combinatorics of hidden diversity. - Garay, Juan A.; Johnson, David S.; Kiayias, Aggelos; Yung, Moti (2013)

Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I (Springer, 2013)

Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II (Springer, 2013)

Towards Efficient Private Distributed Computation on Unbounded Input Streams. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Yuditsky, Yelena (IACR Cryptol. ePrint Arch., 2013)

Rational Protocol Design: Cryptography Against Incentive-driven Adversaries. - Garay, Juan A.; Katz, Jonathan; Maurer, Ueli; Tackmann, Björn; Zikas, Vassilis (IACR Cryptol. ePrint Arch., 2013)

EyeDecrypt - Private Interactions in Plain Sight. - Forte, Andrea G.; Garay, Juan A.; Jim, Trevor; Vahlis, Yevgeniy (IACR Cryptol. ePrint Arch., 2013)

Edge Fault Tolerance on Sparse Networks. - Chandran, Nishanth; Garay, Juan A.; Ostrovsky, Rafail (2012)

Brief Announcement: Efficient Private Distributed Computation on Unbounded Input Streams. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Yuditsky, Yelena (2012)

Efficient Private Distributed Computation on Unbounded Input Streams - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir; Yuditsky, Yelena (CoRR, 2012)

Broadcast-Efficient Secure Multiparty Computation. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail (IACR Cryptol. ePrint Arch., 2012)

Almost-Everywhere Secure Computation with Edge Corruptions. - Chandran, Nishanth; Garay, Juan A.; Ostrovsky, Rafail (IACR Cryptol. ePrint Arch., 2012)

On the (Im)Plausibility of Constant-Round Public-Coin Straight-Line-Simulatable Zero-Knowledge Proofs. - Deng, Yi; Garay, Juan A.; Ling, San; Wang, Huaxiong; Yung, Moti (IACR Cryptol. ePrint Arch., 2012)

Resource-based Corruptions and the Combinatorics of Hidden Diversity. - Garay, Juan A.; Johnson, David S.; Kiayias, Aggelos; Yung, Moti (IACR Cryptol. ePrint Arch., 2012)

Searchable symmetric encryption: Improved definitions and efficient constructions. - Curtmola, Reza; Garay, Juan A.; Kamara, Seny; Ostrovsky, Rafail (J. Comput. Secur., 2011)

Resource Fairness and Composability of Cryptographic Protocols. - Garay, Juan A.; MacKenzie, Philip D.; Prabhakaran, Manoj; Yang, Ke (J. Cryptol., 2011)

Secure Message Transmission by Public Discussion: A Brief Survey. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail (2011)

Secret Sharing Krohn-Rhodes: Private and Perennial Distributed Computation. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir (2011)

Adaptively secure broadcast, revisited. - Garay, Juan A.; Katz, Jonathan; Kumaresan, Ranjit; Zhou, Hong-Sheng (2011)

A Framework for the Sound Specification of Cryptographic Tasks. - Garay, Juan A.; Kiayias, Aggelos; Zhou, Hong-Sheng (2010)

Secure Message Transmission with Small Public Discussion. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail (2010)

Improved Fault Tolerance and Secure Computation on Sparse Networks. - Chandran, Nishanth; Garay, Juan A.; Ostrovsky, Rafail (2010)

Brief announcement: swarming secrets. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir (2010)

Security and Cryptography for Networks, 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings (Springer, 2010)

Swarming secrets. - Dolev, Shlomi; Garay, Juan A.; Gilboa, Niv; Kolesnikov, Vladimir (2009)

Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer. - Garay, Juan A.; Wichs, Daniel; Zhou, Hong-Sheng (2009)

MAC Precomputation with Applications to Secure Memory. - Garay, Juan A.; Kolesnikov, Vladimir; McLellan, Rae (2009)

Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings (Springer, 2009)

MAC Precomputation with Applications to Secure Memory. - Garay, Juan A.; Kolesnikov, Vladimir; McLellan, Rae (IACR Cryptol. ePrint Arch., 2009)

Secure Message Transmission with Small Public Discussion. - Garay, Juan A.; Givens, Clint; Ostrovsky, Rafail (IACR Cryptol. ePrint Arch., 2009)

Almost-Everywhere Secure Computation. - Garay, Juan A.; Ostrovsky, Rafail (2008)

Partially Connected Networks: Information Theoretically Secure Protocols and Open Problems (Invited Talk). - Garay, Juan A. (2008)

Optimal Probabilistic Synchronous Byzantine Agreement. - Garay, Juan A. (2008)

Sound and Fine-grain Specification of Ideal Functionalities. - Garay, Juan A.; Kiayias, Aggelos; Zhou, Hong-Sheng (2008)

A Framework for the Sound Specification of Cryptographic Tasks. - Garay, Juan A.; Kiayias, Aggelos; Zhou, Hong-Sheng (IACR Cryptol. ePrint Arch., 2008)

Somewhat Non-Committing Encryption and Efficient Adaptively Secure Oblivious Transfer. - Garay, Juan A.; Wichs, Daniel; Zhou, Hong-Sheng (IACR Cryptol. ePrint Arch., 2008)

Round Complexity of Authenticated Broadcast with a Dishonest Majority. - Garay, Juan A.; Katz, Jonathan; Koo, Chiu-Yuen; Ostrovsky, Rafail (2007)

Practical and Secure Solutions for Integer Comparison. - Garay, Juan A.; Schoenmakers, Berry; Villegas, José (2007)

Towards Optimal and Efficient Perfectly Secure Message Transmission. - Fitzi, Matthias; Franklin, Matthew K.; Garay, Juan A.; Simhadri, Harsha Vardhan (2007)

Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings (Springer, 2007)

Almost-everywhere Secure Computation. - Garay, Juan A.; Ostrovsky, Rafail (IACR Cryptol. ePrint Arch., 2007)

Strengthening Zero-Knowledge Protocols Using Signatures. - Garay, Juan A.; MacKenzie, Philip D.; Yang, Ke (J. Cryptol., 2006)

Searchable symmetric encryption: improved definitions and efficient constructions. - Curtmola, Reza; Garay, Juan A.; Kamara, Seny; Ostrovsky, Rafail (2006)

Software integrity protection using timed executable agents. - Garay, Juan A.; Huelsbergen, Lorenz (2006)

Round-Optimal and Efficient Verifiable Secret Sharing. - Fitzi, Matthias; Garay, Juan A.; Gollakota, Shyamnath; Rangan, C. Pandu; Srinathan, K. (2006)

Resource Fairness and Composability of Cryptographic Protocols. - Garay, Juan A.; MacKenzie, Philip D.; Prabhakaran, Manoj; Yang, Ke (2006)

Searchable Symmetric Encryption: Improved Definitions and Efficient Constructions. - Curtmola, Reza; Garay, Juan A.; Kamara, Seny; Ostrovsky, Rafail (IACR Cryptol. ePrint Arch., 2006)

Minimal Complete Primitives for Secure Multi-Party Computation. - Fitzi, Matthias; Garay, Juan A.; Maurer, Ueli M.; Ostrovsky, Rafail (J. Cryptol., 2005)

Resource Fairness and Composability of Cryptographic Protocols. - Garay, Juan A.; MacKenzie, Philip D.; Prabhakaran, Manoj; Yang, Ke (IACR Cryptol. ePrint Arch., 2005)

Preface. - Garay, Juan A.; Rajsbaum, Sergio (Theor. Comput. Sci., 2004)

Efficient and Universally Composable Committed Oblivious Transfer and Applications. - Garay, Juan A. (2004)

Efficient and Secure Multi-Party Computation with Faulty Majority and Complete Fairness. - Garay, Juan A.; MacKenzie, Philip D.; Yang, Ke (IACR Cryptol. ePrint Arch., 2004)

Efficient and Universally Composable Committed Oblivious Transfer and Applications. - Garay, Juan A.; MacKenzie, Philip D.; Yang, Ke (IACR Cryptol. ePrint Arch., 2004)

Sharing Video on Demand. - Bar-Noy, Amotz; Garay, Juan A.; Herzberg, Amir (Discret. Appl. Math., 2003)

Efficient authentication and key distribution in wireless IP networks. - Salgarelli, Luca; Buddhikot, Milind M.; Garay, Juan A.; Patel, Sarvar; Miller, Scott C. (IEEE Wirel. Commun., 2003)

Strengthening Zero-Knowledge Protocols Using Signatures. - Garay, Juan A.; MacKenzie, Philip D.; Yang, Ke (2003)

Timed Fair Exchange of Standard Signatures: [Extended Abstract]. - Garay, Juan A.; Pomerance, Carl (2003)

Efficient player-optimal protocols for strong and differential consensus. - Fitzi, Matthias; Garay, Juan A. (2003)

Strengthening Zero-Knowledge Protocols using Signatures. - Garay, Juan A.; MacKenzie, Philip D.; Yang, Ke (IACR Cryptol. ePrint Arch., 2003)

Timed Fair Exchange of Standard Signatures. - Garay, Juan A.; Pomerance, Carl (IACR Cryptol. ePrint Arch., 2003)

A scheme for authentication and dynamic key exchange in wireless networks. - Blumenthal, Uri; Buddhikot, Milind M.; Garay, Juan A.; Miller, Scott C.; Patel, Sarvar; Salgarelli, Luca; Stanley, Dorothy (Bell Labs Tech. J., 2002)

Timed Release of Standard Digital Signatures. - Garay, Juan A.; Jakobsson, Markus (2002)

On-line Admission Control and Packet Scheduling with Interleaving. - Garay, Juan A.; Naor, Joseph; Yener, Bülent; Zhao, Peng (2002)

Efficient and Player-Optimal Strong Consensus. - Fitzi, Matthias; Garay, Juan A. (IACR Cryptol. ePrint Arch., 2002)

Minimal Complete Primitives for Secure Multi-party Computation. - Fitzi, Matthias; Garay, Juan A.; Maurer, Ueli M.; Ostrovsky, Rafail (2001)

MicroISPs: providing convenient and low-cost high-bandwidth Internet access. - Brustoloni, José Carlos; Garay, Juan A. (Comput. Networks, 2000)

Design, implementation, and deployment of the iKP secure electronic payment system. - Bellare, Mihir; Garay, Juan A.; Hauser, Ralf C.; Herzberg, Amir; Krawczyk, Hugo; Steiner, Michael; Tsudik, Gene; Herreweghen, Els Van; Waidner, Michael (IEEE J. Sel. Areas Commun., 2000)

Secure distributed storage and retrieval. - Garay, Juan A.; Gennaro, Rosario; Jutla, Charanjit S.; Rabin, Tal (Theor. Comput. Sci., 2000)

Long-Lived Broadcast Encryption. - Garay, Juan A.; Staddon, Jessica; Wool, Avishai (2000)

Concurrent Oblivious Transfer. - Garay, Juan A.; MacKenzie, Philip D. (2000)

Application-Independent End-to-End Security in Shared-Link Access Networks. - Brustoloni, José Carlos; Garay, Juan A. (2000)

Mutual Search. - Buhrman, Harry; Franklin, Matthew K.; Garay, Juan A.; Hoepman, Jaap-Henk; Tromp, John; Vitányi, Paul M. B. (J. ACM, 1999)

Abuse-Free Optimistic Contract Signing. - Garay, Juan A.; Jakobsson, Markus; MacKenzie, Philip D. (1999)

Multicast Security: A Taxonomy and Some Efficient Constructions. - Canetti, Ran; Garay, Juan A.; Itkis, Gene; Micciancio, Daniele; Naor, Moni; Pinkas, Benny (1999)

Abuse-Free Multi-party Contract Signing. - Garay, Juan A.; MacKenzie, Philip D. (1999)

Self-Testing/Correcting Protocols (Extended Abstract). - Franklin, Matthew K.; Garay, Juan A.; Yung, Moti (1999)

Mutual Search - Buhrman, Harry; Franklin, Matthew K.; Garay, Juan A.; Hoepman, Jaap-Henk; Tromp, John; Vitányi, Paul M. B. (CoRR, 1999)

A Security Architecture for the Internet Protocol. - Cheng, Pau-Chen; Garay, Juan A.; Herzberg, Amir; Krawczyk, Hugo (IBM Syst. J., 1998)

Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds. - Garay, Juan A.; Moses, Yoram (SIAM J. Comput., 1998)

A Sublinear Time Distributed Algorithm for Minimum-Weight Spanning Trees. - Garay, Juan A.; Kutten, Shay; Peleg, David (SIAM J. Comput., 1998)

Adaptability and the Usefulness of Hints (Extended Abstract). - Berman, Piotr; Garay, Juan A. (1998)

Fast Batch Verification for Modular Exponentiation and Digital Signatures. - Bellare, Mihir; Garay, Juan A.; Rabin, Tal (1998)

Batch Verification with Applications to Cryptography and Checking. - Bellare, Mihir; Garay, Juan A.; Rabin, Tal (1998)

Mutual Search (Extended Abstract). - Buhrman, Harry; Franklin, Matthew K.; Garay, Juan A.; Hoepman, Jaap-Henk; Tromp, John; Vitányi, Paul M. B. (1998)

VarietyCash: A Multi-Purpose Electronic Payment System. - Bellare, Mihir; Garay, Juan A.; Jutla, Charanjit S.; Yung, Moti (1998)

Fast Batch Verification for Modular Exponentiation and Digital Signatures. - Bellare, Mihir; Garay, Juan A.; Rabin, Tal (IACR Cryptol. ePrint Arch., 1998)

Secure Distributed Storage and Retrieval. - Garay, Juan A.; Gennaro, Rosario; Jutla, Charanjit S.; Rabin, Tal (IACR Cryptol. ePrint Arch., 1998)

Efficient On-Line Call Control Algorithms. - Garay, Juan A.; Gopal, Inder S.; Kutten, Shay; Mansour, Yishay; Yung, Moti (J. Algorithms, 1997)

Competing against Specialists. - Berman, Piotr; Garay, Juan A. (1997)

Secure Distributed Storage and Retrieval. - Garay, Juan A.; Gennaro, Rosario; Jutla, Charanjit S.; Rabin, Tal (1997)

Fast, Long-Lived Renaming Improved and Simplified (Abstract). - Moir, Mark; Garay, Juan A. (1996)

Distributed Pseudo-Random Bit Generators - A New Way to Speed-Up Shared Coin Tossing. - Bellare, Mihir; Garay, Juan A.; Rabin, Tal (1996)

Fast, Long-Lived Renaming Improved and Simplified. - Moir, Mark; Garay, Juan A. (1996)

Optimal Amortized Distributed Consensus - Bar-Noy, Amotz; Deng, Xiaotie; Garay, Juan A.; Kameda, Tiko (Inf. Comput., 1995)

Adaptive Video on Demand. - Aggarwal, Sudhanshu; Garay, Juan A.; Herzberg, Amir (1995)

Optimal Resiliency against Mobile Faults. - Buhrman, Harry; Garay, Juan A.; Hoepman, Jaap-Henk (1995)

Long-Lived Renaming Made Fast. - Buhrman, Harry; Garay, Juan A.; Hoepman, Jaap-Henk; Moir, Mark (1995)

Securing the Internet (Abstract). - Cheng, Pau-Chen; Garay, Juan A.; Herzberg, Amir; Krawczyk, Hugo (1995)

Design and Implementation of Modular Key Management Protocol and IP Secure Tunnel on AIX. - Cheng, Pau-Chen; Garay, Juan A.; Herzberg, Amir; Krawczyk, Hugo (1995)

iKP - A Family of Secure Electronic Payment Protocols. - Bellare, Mihir; Herzberg, Amir; Steiner, Michael; Tsudik, Gene; Waidner, Michael; Hauser, Ralf C.; Garay, Juan A. (1995)

Adaptive Video on Demand. - Aggarwal, Sudhanshu; Garay, Juan A.; Herzberg, Amir (1994)

Reaching (and Maintaining) Agreement in the Presence of Mobile Faults (Extended Abstract). - Garay, Juan A. (1994)

Fast Consensus in Networks of Bounded Degree. - Berman, Piotr; Garay, Juan A. (Distributed Comput., 1993)

Cloture Votes: n/4-Resilient Distributed Consensus in t+1 Rounds. - Berman, Piotr; Garay, Juan A. (Math. Syst. Theory, 1993)

A Sub-Linear Time Distributed Algorithm for Minimum-Weight Spanning Trees (Extended Abstract) - Garay, Juan A.; Kutten, Shay; Peleg, David (1993)

Randomized Distributed Agreement Revisited. - Berman, Piotr; Garay, Juan A. (1993)

Efficient On-Line Call Control Algorithms. - Garay, Juan A.; Gopal, Inder S.; Kutten, Shay; Mansour, Yishay; Yung, Moti (1993)

Fully polynomial Byzantine agreement in t+1 rounds. - Garay, Juan A.; Moses, Yoram (1993)

Call Preemption in Communication Networks. - Garay, Juan A.; Gopal, Inder S. (1992)

A Continuum of Failure Models for Distributed Computing. - Garay, Juan A.; Perry, Kenneth J. (1992)

Optimal Early Stopping in Distributed Consensus (Extended Abstract). - Berman, Piotr; Garay, Juan A.; Perry, Kenneth J. (1992)

Optimal Amortized Distributed Consensus (Extended Abstract). - Bar-Noy, Amotz; Deng, Xiaotie; Garay, Juan A.; Kameda, Tiko (1991)

Efficient Distributed Consensus with n = (3 + epsilon) t Processors (Extended Abstract). - Berman, Piotr; Garay, Juan A. (1991)

Fast Consensus in Networks of Bounded Degree (Extended Abstract). - Berman, Piotr; Garay, Juan A. (1990)

Analysis of Block-Paging Strategies. - Tetzlaff, William H.; Kienzle, Martin G.; Garay, Juan A. (IBM J. Res. Dev., 1989)

Towards Optimal Distributed Consensus (Extended Abstract) - Berman, Piotr; Garay, Juan A.; Perry, Kenneth J. (1989)

Asymptotically Optimal Distributed Consensus (Extended Abstract). - Berman, Piotr; Garay, Juan A. (1989)

Efficient Agreement on Bounded-Degree Networks. - Berman, Piotr; Garay, Juan A. (1989)

Analysis of Page-Reference Strings of an Interactive System. - Kienzle, Martin G.; Garay, Juan A.; Tetzlaff, William H. (IBM J. Res. Dev., 1988)

Preliminary Analysis of Page Reference Strings of an Interactive System. - Garay, Juan A.; Kienzle, Martin G.; Tetzlaff, William H. (1985)