Search Results - "Herlihy, Maurice"

Methods to Encrypt and Authenticate Digital Files in Distributed Networks and Zero-Trust Environments by Cambou, Bertrand, Philabaum, Christopher, Hoffstein, Jeffrey, Herlihy, Maurice

“…The methods proposed in this paper are leveraging Challenge–Response–Pair (CRP) mechanisms that are directly using each digital file as a source of randomness…”
Get full text

Cryptocurrency Competition and Market Concentration in the Presence of Network Effects by Stylianou, Konstantinos, Spiegelberg, Leonhard, Herlihy, Maurice, Carter, Nic

“…When network products and services become more valuable as their userbase grows (network effects), this tendency can become a major determinant of how they…”
Get full text

Distributed transactional memory for metric-space networks by Herlihy, Maurice, Sun, Ye

“…Transactional Memory is a concurrent programming API in which concurrent threads synchronize via transactions (instead of locks). Although this model has…”
Get full text

Clairvoyant state machine replication by Bazzi, Rida, Herlihy, Maurice

“…We consider the state machine replication problem in semi-synchronous systems subject to Byzantine server failures. We propose a new solution to the problem in…”
Get full text

Cross-chain deals and adversarial commerce by Herlihy, Maurice, Liskov, Barbara, Shrira, Liuba

“…Modern distributed data management systems face a new challenge: how can autonomous, mutually distrusting parties cooperate safely and effectively? Addressing…”
Get full text

Adding concurrency to smart contracts by Dickerson, Thomas, Gazzillo, Paul, Herlihy, Maurice, Koskinen, Eric

“…Modern cryptocurrency systems, such as the Ethereum project, permit complex financial transactions through scripts called smart contracts . These smart…”
Get full text

Blockchain: From Technology to Marketplaces by Nandakumar, Karthik, Ratha, Nalini, Pankanti, Sharath, Pentland, Alex, Herlihy, Maurice

“…The articles in this special section provide a glimpse of the diverse research challenges in adopting blockchain technology into mainstream applications. The…”
Get full text

Load balanced distributed directories by Rai, Shishir, Sharma, Gokarna, Busch, Costas, Herlihy, Maurice

“…We present LB-Spiral, a novel distributed directory protocol for shared objects, suitable for large-scale distributed shared memory systems. Each shared object…”
Get full text

Flexible scheduling of transactional memory on trees by Busch, Costas, Chlebus, Bogdan S., Herlihy, Maurice, Popovic, Miroslav, Poudel, Pavan, Sharma, Gokarna

“…We study the efficiency of executing transactions in a distributed transactional memory system. The system is modeled as a static network with the topology of…”
Get full text

From wait-free to arbitrary concurrent solo executions in colorless distributed computing by Herlihy, Maurice, Rajsbaum, Sergio, Raynal, Michel, Stainer, Julien

“…In an asynchronous distributed system where any number of processes may crash, a process may have to run solo, computing its local output without receiving any…”
Get full text

Distributed runtime verification of metric temporal properties by Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, Herlihy, Maurice

Get full text

The topology of distributed adversaries by Herlihy, Maurice, Rajsbaum, Sergio

“…Roughly speaking, a simplicial complex is shellable if it can be constructed by gluing a sequence of n-simplexes to one another along ( n − 1 ) -faces only…”
Get full text

Power and limits of distributed computing shared memory models by Herlihy, Maurice, Rajsbaum, Sergio, Raynal, Michel

“…What can and cannot be computed in a distributed system is a complex function of the system’s communication model, timing model, and failure model. Considering…”
Get full text

Blockchains and the Logic of Accountability: Keynote Address by Herlihy, Maurice, Moir, Mark

Get full text

Time-communication impossibility results for distributed transactional memory by Busch, Costas, Herlihy, Maurice, Popovic, Miroslav, Sharma, Gokarna

“…We consider scheduling problems in the data flow model of distributed transactional memory. Objects shared by transactions move from one network node to…”
Get full text

Multidimensional agreement in Byzantine systems by Mendes, Hammurabi, Herlihy, Maurice, Vaidya, Nitin, Garg, Vijay K.

“…Consider a network of n processes, where each process inputs a d -dimensional vector of reals. All processes can communicate directly with others via reliable…”
Get full text

Dynamic scheduling in distributed transactional memory by Busch, Costas, Herlihy, Maurice, Popovic, Miroslav, Sharma, Gokarna

“…We investigate scheduling algorithms for distributed transactional memory systems where transactions residing at nodes of a communication graph operate on…”
Get full text

Blockchains and the logic of accountability by Herlihy, Maurice, Moir, Mark

“…This keynote address poses some blockchain-related challenges to the formal methods community. Although blockchains in some form have been around for a long…”
Get full text

Special issue on blockchain networks and distributed protocols by Potop-Butucaru, Maria, Orda, Ariel, Herlihy, Maurice, Secci, Stefano

Get full text

Fast Scheduling in Distributed Transactional Memory by Busch, Costas, Herlihy, Maurice, Popovic, Miroslav, Sharma, Gokarna

“…We investigate scheduling algorithms for distributed transactional memory systems where transactions residing at nodes of a communication graph operate on…”
Get full text