@inproceedings{738c00287721453facdf417c7c320d2c,
title = "Tame the wild with byzantine linearizability: Reliable broadcast, snapshots, and asset transfer",
abstract = "We formalize Byzantine linearizability, a correctness condition that specifies whether a concurrent object with a sequential specification is resilient against Byzantine failures. Using this definition, we systematically study Byzantine-tolerant emulations of various objects from registers. We focus on three useful objects– reliable broadcast, atomic snapshot, and asset transfer.",
keywords = "Asset transfer, Byzantine linearizability, Concurrent algorithms, Snapshot",
author = "Shir Cohen and Idit Keidar",
note = "Publisher Copyright: {\textcopyright} Shir Cohen and Idit Keidar; licensed under Creative Commons License CC-BY 4.0; 35th International Symposium on Distributed Computing, DISC 2021 ; Conference date: 04-10-2021 Through 08-10-2021",
year = "2021",
month = oct,
day = "1",
doi = "10.4230/LIPIcs.DISC.2021.18",
language = "الإنجليزيّة",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
pages = "18:1--18:18",
editor = "Seth Gilbert",
booktitle = "35th International Symposium on Distributed Computing, DISC 2021",
}