|
Proof-Labeling Schemes: Broadcast, Unicast and in Between |
|
|
1 | (17) |
|
|
|
|
|
Self-stabilizing Rendezvous of Synchronous Mobile Agents in Graphs |
|
|
18 | (15) |
|
|
|
|
|
|
|
The Dynamics and Stability of Probabilistic Population Processes |
|
|
33 | (13) |
|
|
|
|
|
Self-stabilizing Distributed Stable Marriage |
|
|
46 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing the Fault-Containment Time of Self-Stabilizing Algorithms Using Markov Chains and Lumping |
|
|
62 | (16) |
|
|
|
Self-tuning Eventually-Consistent Data Stores |
|
|
78 | (15) |
|
|
|
|
|
An Efficient Silent Self-stabilizing 1-Maximal Matching Algorithm Under Distributed Daemon for Arbitrary Networks |
|
|
93 | (16) |
|
|
|
|
|
|
|
An Improved Approximate Consensus Algorithm in the Presence of Mobile Faults |
|
|
109 | (17) |
|
|
|
Fault-Induced Dynamics of Oblivious Robots on a Line |
|
|
126 | (16) |
|
|
|
|
|
Relaxed Data Types as Consistency Conditions |
|
|
142 | (15) |
|
|
|
|
|
Ant-Inspired Dynamic Task Allocation via Gossiping |
|
|
157 | (15) |
|
|
|
|
|
|
|
|
|
Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility |
|
|
172 | (15) |
|
|
|
|
|
|
|
|
|
|
|
187 | (16) |
|
|
|
|
|
Generalized Paxos Made Byzantine (and Less Complex) |
|
|
203 | (16) |
|
|
|
|
|
|
|
ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms |
|
|
219 | (15) |
|
|
|
|
|
How to Simulate Message-Passing Algorithms in Mobile Agent Systems with Faults |
|
|
234 | (16) |
|
|
|
|
|
|
|
|
|
A Self-stabilizing General De Bruijn Graph |
|
|
250 | (15) |
|
|
|
|
|
Constant-Time Complete Visibility for Asynchronous Robots with Lights |
|
|
265 | (17) |
|
|
|
Ramachandran Vaidyanathan |
|
|
|
|
On Security Analysis of Proof-of-Elapsed-Time (PoET) |
|
|
282 | (16) |
|
|
|
|
|
|
|
|
|
|
|
|
|
Brief Announcement: Federated Code Auditing and Delivery for MPC |
|
|
298 | (5) |
|
|
|
|
|
|
|
|
|
Brief Announcement: Reduced Space Self-stabilizing Center Finding Algorithms in Chains and Trees |
|
|
303 | (5) |
|
|
|
|
|
|
|
|
|
A Fully Asynchronous and Fault Tolerant Distributed Algorithm to Compute a Minimum Graph Orientation |
|
|
308 | (15) |
|
|
|
|
|
Universally Optimal Gathering Under Limited Visibility |
|
|
323 | (18) |
|
|
|
|
|
Optimum Algorithm for Mutual Visibility Among Asynchronous Robots with Lights |
|
|
341 | (15) |
|
|
|
|
|
Brief Announcement: ZeroBlock: Timestamp-Free Prevention of Block-Withholding Attack in Bitcoin |
|
|
356 | (5) |
|
|
|
|
|
Scalable Funding of Bitcoin Micropayment Channel Networks |
|
|
361 | (17) |
|
|
|
|
|
|
|
Brief Announcement: A Self-stabilizing Algorithm for the Minimal Generalized Dominating Set Problem |
|
|
378 | (6) |
|
|
|
|
|
|
|
Space-Optimal Proportion Consensus with Population Protocols |
|
|
384 | (15) |
|
|
|
|
|
Brief Announcement: Asynchronous, Distributed, Optical Mutual Exclusion |
|
|
399 | (6) |
|
|
|
Ramachandran Vaidyanathan |
|
|
|
|
Brief Announcement: Passive and Active Attacks on Audience Response Systems Using Software Defined Radios |
|
|
405 | (5) |
|
|
|
|
|
|
|
|
|
Cryptocurrency Smart Contracts for Distributed Consensus of Public Randomness |
|
|
410 | (16) |
|
|
|
|
|
|
|
TorBricks: Blocking-Resistant Tor Bridge Distribution |
|
|
426 | (15) |
|
|
|
|
|
|
|
Cover Time in Edge-Uniform Stochastically-Evolving Graphs |
|
|
441 | (15) |
|
|
|
|
|
|
|
Bitcoin a Distributed Shared Register |
|
|
456 | (13) |
|
|
|
|
|
|
|
|
|
Broadcast Encryption with Both Temporary and Permanent Revocation |
|
|
469 | (15) |
|
|
|
|
|
|
|
Brief Announcement: Optimal Asynchronous Rendezvous for Mobile Robots with Lights |
|
|
484 | (5) |
|
|
|
|
|
|
|
Brief Announcement: Space-Efficient Uniform Deployment of Mobile Agents in Asynchronous Unidirectional Rings |
|
|
489 | (6) |
|
|
|
|
|
|
| Author Index |
|
495 | |
