Antonella Del Pozzo

According to our database, Antonella Del Pozzo authored at least 31 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Optimal self-stabilizing mobile byzantine-tolerant regular register with bounded timestamps.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

Theor. Comput. Sci., 2023

Preliminaries paper: Byzantine Tolerant Strong Auditable Atomic Register.

Antonella Del Pozzo, Antoine Lavandier, Alexandre Rapetti

CoRR, 2023

The Synchronization Power of Auditable Registers.

Hagit Attiya, Antonella Del Pozzo, Alessia Milani, Ulysse Pavloff, Alexandre Rapetti

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

2022

Topos: A Secure, Trustless, and Decentralized Interoperability Protocol.

Théo Gauthier, Sébastien Dan, Monir Hadji, Antonella Del Pozzo, Yackolley Amoussou-Guenou

CoRR, 2022

Byzantine Auditable Atomic Register with Optimal Resilience.

Antonella Del Pozzo, Alessia Milani, Alexandre Rapetti

Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

Fork Accountability in Tenderbake.

Antonella Del Pozzo, Thibault Rieutord

Proceedings of the 5th International Symposium on Foundations and Applications of Blockchain 2022, 2022

2021

SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus.

Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni

CoRR, 2021

On Finality in Blockchains.

Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni

Proceedings of the 25th International Conference on Principles of Distributed Systems, 2021

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu

Proceedings of the 4th International Symposium on Foundations and Applications of Blockchain 2021, 2021

2020

Tenderbake - Classical BFT Style Consensus for Public Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu

CoRR, 2020

On Fairness in Committee-Based Blockchains.

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

2019

Approximate Agreement under Mobile Byzantine Faults.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

Theor. Comput. Sci., 2019

Blockchain abstract data type: poster.

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Dissecting Tendermint.

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru

Theor. Comput. Sci., 2018

Blockchain Abstract Data Type.

Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni

IACR Cryptol. ePrint Arch., 2018

Correctness and Fairness of Tendermint-core Blockchains.

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni

IACR Cryptol. ePrint Arch., 2018

Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft.

Zaynah Dargaye, Antonella Del Pozzo, Sara Tucci Piergiovanni

CoRR, 2018

Brief Announcement: Optimal Self-stabilizing Mobile Byzantine-Tolerant Regular Register with Bounded Timestamps.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

Correctness of Tendermint-Core Blockchains.

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

An Attack Graph-based On-line Multi-step Attack Detector.

Marco Angelini, Silvia Bonomi, Emanuele Borzi, Antonella Del Pozzo, Simone Lenti, Giuseppe Santucci

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017

Building distributed computing abstractions in the presence of mobile byzantine failures. (Construction d'abstraction informatique distribuée en présence de fautes Bizantines mobiles).

Antonella Del Pozzo

PhD thesis, 2017

Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version.

Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni

CoRR, 2017

Optimal Storage under Unsynchrononized Mobile Byzantine Faults.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

CoRR, 2017

Optimal Storage under Unsynchronized Mobile Byzantine Faults.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

Proceedings of the 36th IEEE Symposium on Reliable Distributed Systems, 2017

On the Bitcoin Limitations to Deliver Fairness to Users.

Önder Gürcan, Antonella Del Pozzo, Sara Tucci Piergiovanni

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Building Regular Registers with Rational Malicious Servers and Anonymous Clients.

Antonella Del Pozzo, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni

Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

2016

Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

CoRR, 2016

Optimal Mobile Byzantine Fault Tolerant Distributed Storage: Extended Abstract.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru, Sébastien Tixeuil

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru

Proceedings of the 17th International Conference on Distributed Computing and Networking, 2016

2015

Tight Mobile Byzantine Tolerant Atomic Storage.

Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru

CoRR, 2015