-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
d36b4b2
commit 73420be
Showing
4 changed files
with
152 additions
and
2 deletions.
There are no files selected for viewing
Binary file not shown.
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,145 @@ | ||
| <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> | ||
| <html><head> | ||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
|
|
||
| <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1"> | ||
|
|
||
|
|
||
| <script> | ||
| window.onload = function() { | ||
| this.focus(); | ||
| } | ||
| </script> | ||
|
|
||
| <link href="../TextStyle.css" rel="stylesheet" type="text/css"><title>Mohsen Lesani</title><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body alink="#ee0000" link="#0000ee" vlink="#551a8b"> | ||
| <br> | ||
|
|
||
| <table style="width: 100%;" id="table1" border="0" cellspacing="1"> | ||
|
|
||
| <tbody> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top; text-align: right;"><a href="../../index.html"><span class="TextStyle">Home</span></a></td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td> </td> | ||
| <td style="background-color: rgb(255, 255, 255); width: 690px;"> | ||
| <div style="text-align: right;"> </div> | ||
| <table style="width: 100%;" id="table5" border="0"> | ||
| <tbody class="TestStyle"> | ||
|
|
||
| <tr> | ||
| <td class="TextStyle" colspan="3" rowspan="1" style="vertical-align: top; text-align: left;"><br> | ||
|
|
||
| </td> | ||
|
|
||
|
|
||
| </tr> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top; color: black;"> | ||
| <p class="AbstractHeaderStyle"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle">Brief Announcement:<br> | ||
| </span></span></span></span></p> | ||
| <p class="AbstractHeaderStyle"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle"></span></span></span></span>Reconfigurable Heterogeneous Quorum Systems<br> | ||
| </p> | ||
|
|
||
| </td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top;"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle">DISC '24 (The International Symposium on Distributed Computing)<br> | ||
|
|
||
|
|
||
|
|
||
| </span></span></span></span></td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top;"><span style="color: rgb(34, 34, 34); font-family: arial,sans-serif; font-size: 13px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; display: inline ! important; float: none;"><span class="TextStyle"><span class="AbstractStyle"><span class="AuthorStyle"> Xiao Li, Mohsen Lesani<br> | ||
| </span></span></span></span> </td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td width="5%"> </td> | ||
| <td class="AbstractStyle"> | ||
| <p><span class="AbstractStyle">In | ||
| contrast to proof-of-work replication, Byzantine quorum systems | ||
| maintain consistency across replicas with higher throughput, modest | ||
| energy consumption, and deterministic liveness guarantees. If | ||
| complemented with heterogeneous trust and open membership, they have | ||
| the potential to serve as blockchains backbone. This paper presents a | ||
| general model of heterogeneous quorum systems where each participant | ||
| can declare its own quorums, and captures the consistency, availability | ||
| and inclusion properties of these systems. In order to support open | ||
| membership, it then presents reconfiguration protocols for | ||
| heterogeneous quorum systems including joining and leaving of a | ||
| process, and adding and removing of a quorum, and further, proves their | ||
| correctness in the face of Byzantine attacks. The design of the | ||
| protocols is informed by the trade-offs that the paper proves for the | ||
| properties that reconfigurations can preserve. The paper further | ||
| presents a graph characterization of heterogeneous quorum systems, and | ||
| its application for reconfiguration optimization.<br> | ||
| </span></p> | ||
| <p><span class="AbstractStyle"><br> | ||
| </span></p> | ||
|
|
||
| </td> | ||
| <td width="5%"><br> | ||
| </td> | ||
| </tr> | ||
| <tr> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| <td style="vertical-align: top;"><span class="TextStyle"><span class="TextStyle"><a href="HamsazPres.pdf"><span style="text-decoration: underline;"></span></a> [<a href="DISC24Fullpdf">Full Paper</a>]<br> | ||
| </span></span><a href="ICFP21.pdf"><span class="TextStyle"><span class="TextStyle"><span style="text-decoration: underline;"></span></span></span></a><span class="TextStyle"><span class="TextStyle"><a href="DISC24Short.pdf">[Paper]</a></span></span><br> | ||
| <span class="TextStyle"><span class="TextStyle"> | ||
| <br> | ||
|
|
||
| </span></span> | ||
|
|
||
| </td> | ||
| <td style="vertical-align: top;"><br> | ||
| </td> | ||
| </tr> | ||
| </tbody> | ||
| </table> | ||
| </td> | ||
| <td> </td> | ||
| </tr> | ||
| </tbody> | ||
| </table> | ||
|
|
||
| <br> | ||
|
|
||
| <br> | ||
|
|
||
| </body></html> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters