# overview
Dr. Garay's research interests include both foundational and applied aspects of cryptography and information security. He has published extensively in the areas of cryptography, network security, distributed computing and algorithms. He has been involved in the design, analysis and implementation of a variety of secure systems, and is the recipient of over two dozen patents.

# keywords[]
16 Peace, Justice And Strong Institutions

# keywords[]
16 Peace, Justice And Strong Institutions

# educationAndTraining[].organization.label
Pennsylvania State University - (State College, Pennsylvania, United States)

# publications[].label
Fast, Long-Lived Renaming Improved and Simplified (Abstract).

# publications[].label
Call Preemption in Communication Networks.

# publications[].label
Blockchains from Non-idealized Hash Functions

# publications[].label
Secure Message Transmission With Small Public Discussion

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Searchable symmetric encryption: Improved definitions and efficient constructions

# publications[].label
On the Implausibility of Constant-Round Public-Coin Zero-Knowledge Proofs.

# publications[].label
Fair Distributed Computation of Reactive Functions.

# publications[].label
Minimal Complete Primitives for Secure Multi-Party Computation

# publications[].label
Reaching (and Maintaining) Agreement in the Presence of Mobile Faults (Extended Abstract).

# publications[].label
Fully Polynomial Byzantine Agreement for n > 3t Processors in t + 1 Rounds

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Preliminary Analysis of Page Reference Strings of an Interactive System.

# publications[].label
Improved Fault Tolerance and Secure Computation on Sparse Networks.

# publications[].label
A scheme for authentication and dynamic key exchange in wireless networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part I

# publications[].label
MAC Precomputation with Applications to Secure Memory.

# publications[].label
Partially Connected Networks: Information Theoretically Secure Protocols and Open Problems (Invited Talk).

# publications[].label
Batch Verification with Applications to Cryptography and Checking.

# publications[].label
Efficient, Constant-Round and Actively Secure MPC: Beyond the Three-Party Case

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].tags
16 Peace, Justice and Strong Institutions

# publications[].label
A little honesty goes a long way: The two-tier model for secure multiparty computation

# publications[].label
Timed release of standard digital signatures extended abstract

# publications[].label
Efficient Distributed Consensus with n = (3 + epsilon) t Processors (Extended Abstract).

# publications[].label
Optimal Amortized Distributed Consensus (Extended Abstract).

# publications[].label
Secure Distributed Storage and Retrieval.

# publications[].label
Special Issue: Algorithmic Tools in Cryptography

# publications[].label
Fully polynomial Byzantine agreement in t+1 rounds.

# publications[].label
Information Security, 10th International Conference, ISC 2007, Valparaso, Chile, October 9-12, 2007, Proceedings

# publications[].label
Secret Sharing Krohn-Rhodes: Private and Perennial Distributed Computation.

# publications[].label
Advances in Cryptology - CRYPTO 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II

# publications[].label
Resource Fairness and Composability of Cryptographic Protocols.

# publications[].label
How Fair is Your Protocol?: A Utility-based Approach to Protocol Optimality.

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Probabilistic Termination and Composability of Cryptographic Protocols.

# publications[].label
A Sub-Linear Time Distributed Algorithm for Minimum-Weight Spanning Trees (Extended Abstract)

# publications[].label
Efficient Player-Optimal Protocols for Strong and Differential Consensus

# publications[].label
iKP - A Family of Secure Electronic Payment Protocols.

# publications[].label
Fast Batch Verification for Modular Exponentiation and Digital Signatures.

# publications[].label
Analysis of page-reference strings of an interactive system

# publications[].label
A security architecture for the Internet Protocol

# publications[].label
Resource-based corruptions and the combinatorics of hidden diversity.

# publications[].label
Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer.

# publications[].label
Towards Efficient Private Distributed Computation on Unbounded Input Streams - (Extended Abstract).

# publications[].label
Round Complexity of Authenticated Broadcast with a Dishonest Majority

# publications[].label
Perennial secure multi-party computation of universal Turing machine

# publications[].label
Towards Optimal Distributed Consensus (Extended Abstract)

# publications[].label
Eyedecryptprivate interactions in plain sight

# publications[].label
Optimal Early Stopping in Distributed Consensus (Extended Abstract).

# publications[].label
Fast, Long-Lived Renaming Improved and Simplified.

# publications[].label
Efficient On-Line Call Control Algorithms.

# publications[].label
Secure distributed storage and retrieval

# publications[].label
Multicast Security: A Taxonomy and Some Efficient Constructions.

# publications[].label
Towards Optimal and Efficient Perfectly Secure Message Transmission.

# publications[].label
Advances in Cryptology - CRYPTO 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part I

# publications[].label
Secure Message Transmission by Public Discussion: A Brief Survey.

# publications[].label
Round-Optimal and Efficient Verifiable Secret Sharing.

# publications[].label
Constant-Round Asynchronous Multi-Party Computation Based on One-Way Functions.

# publications[].label
Efficient and Universally Composable Committed Oblivious Transfer and Applications

# publications[].label
Minimal complete primitives for secure multi-party computation

# publications[].label
Cloture Votes:n/4-resilient Distributed Consensus int + 1 rounds

# publications[].label
Adaptability and the Usefulness of Hints (Extended Abstract).

# publications[].label
Design and Implementation of Modular Key Management Protocol and IP Secure Tunnel on AIX.

# publications[].label
Efficient Agreement on Bounded-Degree Networks.

# publications[].label
Security and Cryptography for Networks, 7th International Conference, SCN 2010, Amalfi, Italy, September 13-15, 2010. Proceedings

# publications[].label
VarietyCash: A Multi-Purpose Electronic Payment System.

# publications[].label
Brief Announcement: Efficient Private Distributed Computation on Unbounded Input Streams.

# publications[].label
The Bitcoin Backbone Protocol: Analysis and Applications.

# publications[].label
On-line Admission Control and Packet Scheduling with Interleaving.

# publications[].label
Secure Message Transmission with Small Public Discussion.

# publications[].label
The Price of Low Communication in Secure Multi-party Computation.

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].tags
16 Peace, Justice and Strong Institutions

# publications[].label
Almost-Everywhere Secure Computation with Edge Corruptions

# publications[].tags
16 Peace, Justice and Strong Institutions

# publications[].label
A Continuum of Failure Models for Distributed Computing.

# publications[].label
Distributed Pseudo-Random Bit Generators - A New Way to Speed-Up Shared Coin Tossing.

# publications[].label
Efficient On-Line Call Control Algorithms

# publications[].label
MicroISPs: providing convenient and low-cost high-bandwidth Internet access

# publications[].label
Bootstrapping the Blockchain, with Applications to Consensus and Fast PKI Setup

# publications[].label
Fast and unconditionally secure anonymous channel.

# publications[].label
Resource Fairness and Composability of Cryptographic Protocols

# publications[].label
Practical and Secure Solutions for Integer Comparison.

# publications[].label
Optimal Resiliency against Mobile Faults.

# publications[].label
Searchable symmetric encryption: improved definitions and efficient constructions.

# publications[].label
A Framework for the Sound Specification of Cryptographic Tasks.

# publications[].label
Timed fair exchange of standard signatures [extended abstract]

# publications[].label
MAC Precomputation with Applications to Secure Memory

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
Fast consensus in networks of bounded degree

# publications[].label
Software integrity protection using timed executable agents

# publications[].publisher
Association for Computing Machinery (ACM)

# publications[].label
A SubLinear Time Distributed Algorithm for Minimum-Weight Spanning Trees

# publications[].publisher
Society for Industrial & Applied Mathematics (SIAM)

# publications[].label
Cryptology and Network Security, 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009. Proceedings

# publications[].label
Efficient authentication and key distribution in wireless IP networks

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Advances in Cryptology - CRYPTO 2013 - 33rd Annual Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2013. Proceedings, Part II

# publications[].label
Towards efficient private distributed computation on unbounded input streams

# publications[].label
Timed Release of Standard Digital Signatures.

# publications[].label
Edge Fault Tolerance on Sparse Networks.

# publications[].label
The Bitcoin Backbone Protocol with Chains of Variable Difficulty.

# publications[].label
Broadcast (and Round) Efficient Verifiable Secret Sharing.

# publications[].label
Design, implementation, and deployment of the iKP secure electronic payment system

# publications[].publisher
Institute of Electrical and Electronics Engineers (IEEE)

# publications[].label
Fast Consensus in Networks of Bounded Degree (Extended Abstract).

# researcherOn[].label
SaTC: CORE: Small: Collaborative: Exploring the Boundaries of Large-Scale Secure Computation

# researcherOn[].awardedBy.label
Directorate for Computer & Information Science & Engineering - (Arlington, Virginia, United States)

# streetAddress
Texas A&M University; Computer Science & Engineering; 3112 TAMU