OASIcs, Volume 71
Tokenomics 2019, May 6-7, 2019, Paris, France
Editors: Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, and Sara Tucci-Piergiovanni
LIPIcs, Volume 46
OPODIS 2015, December 14-17, 2015, Rennes, France
Editors: Emmanuelle Anceaume, Christian Cachin, and Maria Potop-Butucaru
Published in: LIPIcs, Volume 246, 36th International Symposium on Distributed Computing (DISC 2022)
Pierre Civit and Maria Potop-Butucaru. Dynamic Probabilistic Input Output Automata. In 36th International Symposium on Distributed Computing (DISC 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 246, pp. 15:1-15:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{civit_et_al:LIPIcs.DISC.2022.15, author = {Civit, Pierre and Potop-Butucaru, Maria}, title = {{Dynamic Probabilistic Input Output Automata}}, booktitle = {36th International Symposium on Distributed Computing (DISC 2022)}, pages = {15:1--15:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-255-6}, ISSN = {1868-8969}, year = {2022}, volume = {246}, editor = {Scheideler, Christian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2022.15}, URN = {urn:nbn:de:0030-drops-172064}, doi = {10.4230/LIPIcs.DISC.2022.15}, annote = {Keywords: Automata, Distributed Computing, Formal Verification, Dynamic systems} }
Published in: LIPIcs, Volume 209, 35th International Symposium on Distributed Computing (DISC 2021)
Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci. Game Theoretical Framework for Analyzing Blockchains Robustness. In 35th International Symposium on Distributed Computing (DISC 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 209, pp. 42:1-42:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{zappala_et_al:LIPIcs.DISC.2021.42, author = {Zappal\`{a}, Paolo and Belotti, Marianna and Potop-Butucaru, Maria and Secci, Stefano}, title = {{Game Theoretical Framework for Analyzing Blockchains Robustness}}, booktitle = {35th International Symposium on Distributed Computing (DISC 2021)}, pages = {42:1--42:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-210-5}, ISSN = {1868-8969}, year = {2021}, volume = {209}, editor = {Gilbert, Seth}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2021.42}, URN = {urn:nbn:de:0030-drops-148440}, doi = {10.4230/LIPIcs.DISC.2021.42}, annote = {Keywords: Blockchain protocols, Distributed algorithms, Game-theoretical modeling, Fault tolerance, Failure robustness} }
Published in: OASIcs, Volume 82, 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni. On Fairness in Committee-Based Blockchains. In 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020). Open Access Series in Informatics (OASIcs), Volume 82, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{amoussouguenou_et_al:OASIcs.Tokenomics.2020.4, author = {Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara}, title = {{On Fairness in Committee-Based Blockchains}}, booktitle = {2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-157-3}, ISSN = {2190-6807}, year = {2021}, volume = {82}, editor = {Anceaume, Emmanuelle and Bisi\`{e}re, Christophe and Bouvard, Matthieu and Bramas, Quentin and Casamatta, Catherine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2020.4}, URN = {urn:nbn:de:0030-drops-135261}, doi = {10.4230/OASIcs.Tokenomics.2020.4}, annote = {Keywords: Blockchain, Consensus, Committee, Fairness, Proof-of-Stake, Reward, Selection} }
Published in: LIPIcs, Volume 184, 24th International Conference on Principles of Distributed Systems (OPODIS 2020)
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni. Rational Behaviors in Committee-Based Blockchains. In 24th International Conference on Principles of Distributed Systems (OPODIS 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 184, pp. 12:1-12:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{amoussouguenou_et_al:LIPIcs.OPODIS.2020.12, author = {Amoussou-Guenou, Yackolley and Biais, Bruno and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara}, title = {{Rational Behaviors in Committee-Based Blockchains}}, booktitle = {24th International Conference on Principles of Distributed Systems (OPODIS 2020)}, pages = {12:1--12:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-176-4}, ISSN = {1868-8969}, year = {2021}, volume = {184}, editor = {Bramas, Quentin and Oshman, Rotem and Romano, Paolo}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2020.12}, URN = {urn:nbn:de:0030-drops-134973}, doi = {10.4230/LIPIcs.OPODIS.2020.12}, annote = {Keywords: BFT Consensus, Blockchains, Game Theory} }
Published in: LIPIcs, Volume 179, 34th International Symposium on Distributed Computing (DISC 2020)
Paolo Zappalà, Marianna Belotti, Maria Potop-Butucaru, and Stefano Secci. Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness. In 34th International Symposium on Distributed Computing (DISC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 179, pp. 49:1-49:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{zappala_et_al:LIPIcs.DISC.2020.49, author = {Zappal\`{a}, Paolo and Belotti, Marianna and Potop-Butucaru, Maria and Secci, Stefano}, title = {{Brief Announcement: Game Theoretical Framework for Analyzing Blockchains Robustness}}, booktitle = {34th International Symposium on Distributed Computing (DISC 2020)}, pages = {49:1--49:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-168-9}, ISSN = {1868-8969}, year = {2020}, volume = {179}, editor = {Attiya, Hagit}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2020.49}, URN = {urn:nbn:de:0030-drops-131275}, doi = {10.4230/LIPIcs.DISC.2020.49}, annote = {Keywords: Blockchains, Game Theory, Byzantine-Altruistic-Rational behaviours} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 1-192, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@Proceedings{danos_et_al:OASIcs.Tokenomics.2019, title = {{OASIcs, Vol. 71, Tokenomics 2019, Complete Volume}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {1--192}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019}, URN = {urn:nbn:de:0030-drops-119634}, doi = {10.4230/OASIcs.Tokenomics.2019}, annote = {Keywords: OASIcs, Vol. 71, Tokenomics 2019, Complete Volume} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 0:i-0:xii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{danos_et_al:OASIcs.Tokenomics.2019.0, author = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {0:i--0:xii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.0}, URN = {urn:nbn:de:0030-drops-119640}, doi = {10.4230/OASIcs.Tokenomics.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Amr El Abbadi. Demystifying Blockchains: Decentralized and Fault-Tolerant Storage for the Future of Big Data? (Keynote Lecture). In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{abbadi:OASIcs.Tokenomics.2019.1, author = {Abbadi, Amr El}, title = {{Demystifying Blockchains: Decentralized and Fault-Tolerant Storage for the Future of Big Data?}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {1:1--1:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.1}, URN = {urn:nbn:de:0030-drops-119658}, doi = {10.4230/OASIcs.Tokenomics.2019.1}, annote = {Keywords: distributed algorithms for databases, distributed storage, blockchains} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Dahlia Malkhi. Flexible BFT: Separating BFT Protocol Design from the Fault Model (Keynote Lecture). In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{malkhi:OASIcs.Tokenomics.2019.2, author = {Malkhi, Dahlia}, title = {{Flexible BFT: Separating BFT Protocol Design from the Fault Model}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {2:1--2:1}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.2}, URN = {urn:nbn:de:0030-drops-119660}, doi = {10.4230/OASIcs.Tokenomics.2019.2}, annote = {Keywords: Byzantine fault-tolerance, blockchains} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Aggelos Kiayias, Benjamin Livshits, Andrés Monteoliva Mosteiro, and Orfeas Stefanos Thyfronitis Litos. A Puff of Steem: Security Analysis of Decentralized Content Curation. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 3:1-3:21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{kiayias_et_al:OASIcs.Tokenomics.2019.3, author = {Kiayias, Aggelos and Livshits, Benjamin and Monteoliva Mosteiro, Andr\'{e}s and Thyfronitis Litos, Orfeas Stefanos}, title = {{A Puff of Steem: Security Analysis of Decentralized Content Curation}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {3:1--3:21}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.3}, URN = {urn:nbn:de:0030-drops-119675}, doi = {10.4230/OASIcs.Tokenomics.2019.3}, annote = {Keywords: blockchain, content curation, decentralized, voting} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Vikram Saraph and Maurice Herlihy. An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{saraph_et_al:OASIcs.Tokenomics.2019.4, author = {Saraph, Vikram and Herlihy, Maurice}, title = {{An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.4}, URN = {urn:nbn:de:0030-drops-119684}, doi = {10.4230/OASIcs.Tokenomics.2019.4}, annote = {Keywords: Blockchains, Smart Contracts} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
Antonio Fernández Anta, Chryssis Georgiou, and Nicolas Nicolaou. Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 5:1-5:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{fernandezanta_et_al:OASIcs.Tokenomics.2019.5, author = {Fern\'{a}ndez Anta, Antonio and Georgiou, Chryssis and Nicolaou, Nicolas}, title = {{Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {5:1--5:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.5}, URN = {urn:nbn:de:0030-drops-119695}, doi = {10.4230/OASIcs.Tokenomics.2019.5}, annote = {Keywords: DLO, Interoperability, Atomic Appends, Rational Clients, Fault-tolerance} }
Published in: OASIcs, Volume 71, International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)
William George and Clément Lesaege. A Smart Contract Oracle for Approximating Real-World, Real Number Values. In International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019). Open Access Series in Informatics (OASIcs), Volume 71, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{george_et_al:OASIcs.Tokenomics.2019.6, author = {George, William and Lesaege, Cl\'{e}ment}, title = {{A Smart Contract Oracle for Approximating Real-World, Real Number Values}}, booktitle = {International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019)}, pages = {6:1--6:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-108-5}, ISSN = {2190-6807}, year = {2020}, volume = {71}, editor = {Danos, Vincent and Herlihy, Maurice and Potop-Butucaru, Maria and Prat, Julien and Tucci-Piergiovanni, Sara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Tokenomics.2019.6}, URN = {urn:nbn:de:0030-drops-119705}, doi = {10.4230/OASIcs.Tokenomics.2019.6}, annote = {Keywords: price oracle, Ethereum, blockchain} }
Feedback for Dagstuhl Publishing