People


Antonella Del Pozzo

Institution■ UPMC Sorbonne Universités
Office38
GroupFormer PhD students

Books And Theses

⇣ 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 ■,
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 ■,
2017

Articles

⇣ 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, 40:1-40:10
⇣ Correctness of Tendermint-Core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
OPODIS 2018, 16:1-16:16
⇣ 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, 398-403
⇣ ⇣ Optimal Storage under Unsynchronized Mobile Byzantine Faults,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
SRDS 2017, Hong Kong, China, 154-163
⇣ On the Bitcoin Limitations to Deliver Fairness to Users,
Önder Gürcan, Antonella Del Pozzo ■, Sara Tucci Piergiovanni,
OTM Conferences 2017, 589-606
⇣ Building Regular Registers with Rational Malicious Servers and Anonymous Clients,
Antonella Del Pozzo ■, Silvia Bonomi, Riccardo Lazzeretti, Roberto Baldoni,
CSCML 2017, 50-67
⇣ ⇣ Tight self-stabilizing mobile byzantine-tolerant atomic register,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■,
ICDCN 2016, Singapore, Singapore, 6:1-6:10
⇣ Optimal Mobile Byzantine Fault Tolerant Distributed Storage - Extended Abstract,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
PODC 2016, 269-278

Journal articles

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

Reports

⇣ ⇣ Correctness and Fairness of Tendermint-core Blockchains,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2018
⇣ ⇣ Dissecting Tendermint,
Yackolley Amoussou-Guenou ■, Antonella Del Pozzo, Maria Potop-Butucaru ■, Sara Tucci Piergiovanni,
CoRR 2018
⇣ ⇣ Blockchain Abstract Data Type,
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, 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
⇣ Optimal Self-Stabilizing Mobile Byzantine-Tolerant Regular Register with bounded timestamp,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016
⇣ Optimal Mobile Byzantine Fault Tolerant Distributed Storage,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
2016
⇣ 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

Poster

⇣ Brief announcement: Approximate Agreement under Mobile Byzantine Faults Model,
Silvia Bonomi, Antonella Del Pozzo ■, Maria Potop-Butucaru ■, Sébastien Tixeuil ■,
IEEE Conference on Distributed Computing Systems (ICDCS 2016) 2016, Nara, Japan