Randomized algorithms for reliable broadcast

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.

Bibliographic Details
Main Author: Vaikuntanathan, Vinod
Other Authors: Shafi Goldwasser.
Format: Thesis
Language:eng
Published: Massachusetts Institute of Technology 2009
Subjects:
Online Access:http://hdl.handle.net/1721.1/47746
_version_ 1811072106678452224
author Vaikuntanathan, Vinod
author2 Shafi Goldwasser.
author_facet Shafi Goldwasser.
Vaikuntanathan, Vinod
author_sort Vaikuntanathan, Vinod
collection MIT
description Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
first_indexed 2024-09-23T09:00:59Z
format Thesis
id mit-1721.1/47746
institution Massachusetts Institute of Technology
language eng
last_indexed 2024-09-23T09:00:59Z
publishDate 2009
publisher Massachusetts Institute of Technology
record_format dspace
spelling mit-1721.1/477462019-04-10T20:14:00Z Randomized algorithms for reliable broadcast Vaikuntanathan, Vinod Shafi Goldwasser. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009. Includes bibliographical references (p. 82-85). In this thesis, we design randomized algorithms for classical problems in fault tolerant distributed computing in the full-information model. The full-information model is a strong adversarial model which imposes no restrictions on the computational power of the faulty players nor on the information available to them. Namely, the faulty players are infinitely powerful and are privy to all the communications in the network. Our main result is the construction of two efficient randomized protocols for Byzantine agreement, a classical problem in distributed computing. Byzantine agreement is the problem of simulating the reliable broadcast functionality in a network where all communication is person-to-person. We design two randomized Byzantine agreement protocols in a synchronous network with an expected round-complexity of O(log n) rounds. One of the protocols is resilient against an all-powerful, full-information adversary that corrupts less than a third of the number of players (whereas the other protocol is resilient against a fourth fraction of corruptions). Our protocols have the following additional features. * The fault-tolerance of our protocols can be increased to less a half fraction of faults, if there is a public-key infrastructure setup available that allows the players to compute (public-key) digital signatures. * Our protocols work even if the source of randomness is a "somewhat random" source (also called a Santha-Vazirani source). The price we pay is a decreased fault-tolerance. Our second result is the design of a compiler that transforms a randomized distributed protocol that tolerates benign, fail-stop faults into a protocol that tolerates malicious, Byzantine faults. Fail-stop faults follow the protocol specification, but may stop in the middle of the execution. On the other hand, Byzantine faults are arbitrarily malicious. (cont.) The resulting protocol has almost the same fault-tolerance and efficiency as the original protocol. Our compiler suggests a modular way to design distributed protocols: first, design a protocol that tolerates fail-stop faults, and use our compiler to "boost" the fault-tolerance to Byzantine faults. The design of the compiler is based on a new protocol technique that we develop, called "auditing" of distributed protocols. by Vinod Vaikuntanathan. Ph.D. 2009-10-01T15:37:48Z 2009-10-01T15:37:48Z 2009 2009 Thesis http://hdl.handle.net/1721.1/47746 428735875 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 85 p. application/pdf Massachusetts Institute of Technology
spellingShingle Electrical Engineering and Computer Science.
Vaikuntanathan, Vinod
Randomized algorithms for reliable broadcast
title Randomized algorithms for reliable broadcast
title_full Randomized algorithms for reliable broadcast
title_fullStr Randomized algorithms for reliable broadcast
title_full_unstemmed Randomized algorithms for reliable broadcast
title_short Randomized algorithms for reliable broadcast
title_sort randomized algorithms for reliable broadcast
topic Electrical Engineering and Computer Science.
url http://hdl.handle.net/1721.1/47746
work_keys_str_mv AT vaikuntanathanvinod randomizedalgorithmsforreliablebroadcast