Sara Tucci

Head of Laboratory at CEA LIST,
University of Paris-Saclay

Present in the chair since 2019, she holds a PhD in Computer Engineering from University of Rome La Sapienza. Before joining CEA, Sara was lecturer at University of Rome La Sapienza. As an international expert in secure distributed systems, she regularly publishes in international conferences and leading journals in the field. In the last years Sara’s interests focused on blockchain consensus protocols, incentives and accountability. She’s authored the specification of the Tenderbake consensus protocol, deployed in the Tezos blockchain in April 2022.

Scientific papers

  • Zeinab NehaïFrançois Bobot, Sara Tucci Piergiovanni, Carole Delporte-GalletHugues Fauconnier: A TLA+ Formal Proof of a Cross-Chain Swap. ICDCN 2022: 148-159
  • Lacramioara AstefanoaeiPierre ChambartAntonella Del PozzoThibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu:
    Tenderbake – A Solution to Dynamic Repeated Consensus for Blockchains. 
    FAB 2021: 1:1-1:23
  • Emmanuelle AnceaumeAntonella Del PozzoThibault Rieutord, Sara Tucci Piergiovanni: On Finality in Blockchains. OPODIS 2021: 6:1-6:19
  • Luciano Freitas de SouzaAndrei Tonkikh, Sara Tucci Piergiovanni, Renaud SirdeyOana StanNicolas QueroPetr Kuznetsov: RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination. OPODIS 2021: 23:1-23:16
  • Yackolley Amoussou-Guenou,Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni: Rational vs Byzantine Players in Consensus-based Blockchains. AAMAS 2020: 43-51

Chair courses

Blockchain Starter Program “Peer-to-Peer Networks”

Publications & Outlooks

Proceedings of Tokenomics 2019

Tokenomics is an international forum for theory, design, analysis, implementation and applications of blockchains and smart contracts. The goal of the conference is to bring together economists, ...

On Fairness in Committee-based Blockchains

Committee-based blockchains are among the most popular alternatives of proof-of-work based blockchains, such as Bitcoin. They provide strong consistency (no fork) under classical assumptions, and ...

Rational vs Byzantine Players in consensus-based Blockchains

We analyze from the game theory point of view Byzantine Fault Tolerant blockchains when processes exhibit rational or Byzantine behavior. Our work is the first to model the Byzantine- consensus based ...

What's new


Sign up to receive the newsletter of the research center and be kept informed of our news and events.