Document Search Results

Alpturer, Kaya; Halpern, Joseph Y.; van der Meyden, Ron

Optimal eventual Byzantine agreement protocols with omission failures. (English) Zbl 07824331

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 244-252 (2023).

MSC: 68M14 68W15

Cite Review PDF

Full Text: DOI arXiv

Castañeda, Armando; Gonczarowski, Yannai A.; Moses, Yoram

Unbeatable consensus. (English) Zbl 1483.68025

Distrib. Comput. 35, No. 2, 123-143 (2022).

MSC: 68M14

Cite Review PDF

Full Text: DOI arXiv

Kuznets, Roman; Prosperi, Laurent; Schmid, Ulrich; Fruzsa, Krisztina

Causality and epistemic reasoning in Byzantine multi-agent systems. (English) Zbl 07450035

Moss, Lawrence S. (ed.), Proceedings of the seventeenth conference on theoretical aspects of rationality and knowledge, TARK 2019, Toulouse, France, July 17–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 297, 293-312 (2019).

MSC: 68T27

Cite Review PDF

Full Text: arXiv Link

Pass, Rafael; Shi, Elaine

Thunderella: blockchains with optimistic instant confirmation. (English) Zbl 1423.94094

Nielsen, Jesper Buus (ed.) et al., Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10821, 3-33 (2018).

MSC: 94A60

Cite Review PDF

Full Text: DOI

Micciancio, Daniele; Walter, Michael

On the bit security of cryptographic primitives. (English) Zbl 1423.94090

Nielsen, Jesper Buus (ed.) et al., Advances in cryptology – EUROCRYPT 2018. 37th annual international conference on the theory and applications of cryptographic techniques, Tel Aviv, Israel, April 29 – May 3, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10820, 3-28 (2018).

MSC: 94A60

Cite Review PDF

Full Text: DOI

Halpern, Joseph Y.; Pass, Rafael

A knowledge-based analysis of the blockchain protocol. (English) Zbl 1483.68024

Lang, Jérôme (ed.), Proceedings of the sixteenth conference on theoretical aspects of rationality and knowledge, TARK 2017, Liverpool, UK, July 24–26, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 251, 324-335 (2017).

MSC: 68M12 68T30

Cite Review PDF

Full Text: arXiv Link

Moses, Yoram

Relating knowledge and coordinated action: the knowledge of preconditions principle. (English) Zbl 1483.68423

Ramanujam, R. (ed.), Proceedings of the fifteenth conference on theoretical aspects of rationality and knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4–6, 2015. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 215, 231-245 (2016).

MSC: 68T42 68T27 68T30

Cite Review PDF

Full Text: arXiv Link

Castañeda, Armando; Gonczarowski, Yannai A.; Moses, Yoram

Unbeatable set consensus via topological and combinatorial reasoning. (English) Zbl 1373.68081

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 107-116 (2016).

MSC: 68M14 05E45 55U10 68M12 68M15