People


Antonella Del Pozzo

Institution office homepage group
 UPMC Sorbonne Université 38 None Former PhD students

Articles

Dissecting Tendermint,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
NETYS 2019
Blockchain abstract data type - poster,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
PPoPP 2019
Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
SPAA 2019
An Attack Graph-based On-line Multi-step Attack Detector,
Marco Angelini, Silvia Bonomi, Emanuele Borzi, Antonella Del Pozzo, Simone Lenti, Giuseppe Santucci,
ICDCN 2018
Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
OPODIS 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 ,
SSS 2018
On the Bitcoin Limitations to Deliver Fairness to Users,
Onder Gurcan, Antonella Del Pozzo , Sara Tucci Piergiovanni,
OTM Conferences 2017
Building Regular Registers with Rational Malicious Servers and Anonymous Clients,
Antonella Del Pozzo , Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni,
CSCML 2017
Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
SRDS 2017
Tight self-stabilizing mobile byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru ,
ICDCN 2016
Optimal Mobile Byzantine Fault Tolerant Distributed Storage - Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
PODC 2016

Journal articles

Approximate Agreement under Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru , Sébastien Tixeuil ,
Theor. Comput. Sci. 2019
Optimal self-stabilizing synchronous mobile Byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo, Maria Potop-Butucaru ,
Theor. Comput. Sci. 2018

Reports

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,
CoRR 2019
Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou , Antonella Del Pozzo, Maria Potop-Butucaru , Sara Tucci Piergiovanni,
CoRR 2018
Pluralize - a Trustworthy Framework for High-Level Smart Contract-Draft,
Zaynah Dargaye, Antonella Del Pozzo, Sara Tucci Piergiovanni,
CoRR 2018
Optimal Storage under Unsynchrononized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2017
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version,
Antonella Del Pozzo , Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni,
CoRR 2017
Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru , Sébastien Tixeuil ,
CoRR 2016
Tight Mobile Byzantine Tolerant Atomic Storage,
Silvia Bonomi, Antonella Del Pozzo , Maria Potop-Butucaru,
CoRR 2015