Sara Tucci Piergiovanni

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 60

Top Venues

CoRR

OPODIS

IACR Cryptol. ePrint Arch.

SAC

Publications

William Boitier, Antonella Del Pozzo, Álvaro García-Pérez, Stéphane Gazut, Pierre Jobic, Alexis Lemaire, Erwan Mahe, Aurélien Mayoue, Maxence Perion, Deepika Singh, Tuanir Franca Rezende, Sara Tucci Piergiovanni
Fantastyc: Blockchain-based Federated Learning Made Secure and Practical. CoRR (2024)
Erwan Mahe, Rouwaida Abdallah, Sara Tucci Piergiovanni, Pierre-Yves Piriou
Adversary-Augmented Simulation to evaluate client-fairness on HyperLedger Fabric. CoRR (2024)
Pierre Jobic, Aurélien Mayoue, Sara Tucci Piergiovanni, François Terrier
Extending the Scope of Gradient Reconstruction Attacks in Federated Averaging. IH&MMSec (2024)
Rida A. Bazzi, Sara Tucci Piergiovanni
+1 validations. PODC (2024)
Zaynah Dargaye, Önder Gürcan, Florent Kirchner, Sara Tucci Piergiovanni
Towards Secure and Trusted-by-Design Smart Contracts. CoRR (2024)
Önder Gürcan, Nataliya Yakymets, Sara Tucci Piergiovanni, Ansgar Radermacher
Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper. CoRR (2024)
Rida A. Bazzi, Sara Tucci Piergiovanni
Fractional Payment Transactions: Executing Payment Transactions in Parallel with Less than f+1 Validations. CoRR (2024)
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Byzantine Attacks Exploiting Penalties in Ethereum PoS. CoRR (2024)
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Ethereum Proof-of-Stake under Scrutiny. SAC (2023)
Rida A. Bazzi, Sara Tucci Piergiovanni
Breaking the f+1 Barrier: Executing Payment Transactions in Parallel with Less than f+1 Validations. CoRR (2023)
Rida A. Bazzi, Sara Tucci Piergiovanni
+ 1 Validations. PODC (2023)
Quang Huy Do, Sami Souihi, Van Tong, Sara Tucci Piergiovanni
Blockchain Integration in 5G Technologies: SDN and Network Slicing. BRAINS (2023)
Luciano Freitas de Souza, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov
Homomorphic Sortition - Single Secret Leader Election for PoS Blockchains. IACR Cryptol. ePrint Arch. 2023 (2023)
Quang Huy Do, Sami Souihi, Van Tong, Hai Anh Tran, Sara Tucci Piergiovanni
An Adaptive Sharding-based Blockchain for Network Slicing in 5G. GLOBECOM (2023)
Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier
A TLA+ Formal Proof of a Cross-Chain Swap. ICDCN (2022)
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Adda-Akram Bendoukha, Petr Kuznetsov
Homomorphic Sortition - Secret Leader Election for Blockchain. CoRR (2022)
Aimen Djari, Emmanuelle Anceaume, Sara Tucci Piergiovanni
, a DAG-based permissionless ledger. SAC (2022)
Aimen Djari, Emmanuelle Anceaume, Sara Tucci Piergiovanni
, a self-adapting graph-based permissionless distributed ledger. BRAINS (2022)
Ulysse Pavloff, Yackolley Amoussou-Guenou, Sara Tucci Piergiovanni
Ethereum Proof-of-Stake under Scrutiny. CoRR (2022)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Accountability and Reconfiguration: Self-Healing Lattice Agreement. OPODIS (2021)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Accountability and Reconfiguration: Self-Healing Lattice Agreement. CoRR (2021)
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez, Sara Tucci Piergiovanni
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus. CoRR (2021)
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB (2021)
Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni
On Finality in Blockchains. OPODIS (2021)
Luciano Freitas de Souza, Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Brief Announcement: Accountability and Reconfiguration - Self-Healing Lattice Agreement. DISC (2021)
Luciano Freitas de Souza, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
RandSolomon: optimally resilient multi-party random number generation protocol. CoRR (2021)
Luciano Freitas de Souza, Andrei Tonkikh, Sara Tucci Piergiovanni, Renaud Sirdey, Oana Stan, Nicolas Quero, Petr Kuznetsov
RandSolomon: Optimally Resilient Random Number Generator with Deterministic Termination. OPODIS (2021)
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. BCCA (2021)
Pierre-Yves Piriou, Olivier Boudeville, Gilles Deleuze, Sara Tucci Piergiovanni, Önder Gürcan
Justifying the Dependability and Security of Business-Critical Blockchain-based Applications. CoRR (2021)
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - Classical BFT Style Consensus for Public Blockchains. CoRR (2020)
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Rational Behavior in Committee-Based Blockchains. IACR Cryptol. ePrint Arch. 2020 (2020)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
On Fairness in Committee-Based Blockchains. Tokenomics (2020)
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Rational vs Byzantine Players in Consensus-based Blockchains. AAMAS (2020)
Emmanuelle Anceaume, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni
On Finality in Blockchains. CoRR (2020)
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Rational Behaviors in Committee-Based Blockchains. OPODIS (2020)
Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Scalable lightning factories for Bitcoin. SAC (2019)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
On Fairness in Committee-based Blockchains. CoRR (2019)
Yackolley Amoussou-Guenou, Bruno Biais, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Rationals vs Byzantines in Consensus-based Blockchains. CoRR (2019)
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Reconfigurable Lattice Agreement and Applications. CoRR (2019)
Petr Kuznetsov, Thibault Rieutord, Sara Tucci Piergiovanni
Reconfigurable Lattice Agreement and Applications. OPODIS (2019)
Sara Tucci Piergiovanni
Invited Paper: On the Characterization of Blockchain Consensus Under Incentives. SSS (2019)
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Blockchain Abstract Data Type. SPAA (2019)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Dissecting Tendermint. NETYS (2019)
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Blockchain abstract data type: poster. PPoPP (2019)
Asma Mehiaoui, Ernest Wozniak, Jean-Philippe Babau, Sara Tucci Piergiovanni, Chokri Mraidha
Optimizing the deployment of tree-shaped functional graphs of real-time system on distributed architectures. Autom. Softw. Eng. 26 (1) (2019)
Önder Gürcan, Marc Agenis-Nevers, Yves-Marie Batany, Mohamed Elmtiri, François Le Fèvre, Sara Tucci Piergiovanni
An Industrial Prototype of Trusted Energy Performance Contracts Using Blockchain Technologies. HPCC/SmartCity/DSS (2018)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Dissecting Tendermint. CoRR (2018)
Zaynah Dargaye, Antonella Del Pozzo, Sara Tucci Piergiovanni
Pluralize: a Trustworthy Framework for High-Level Smart Contract-Draft. CoRR (2018)
Önder Gürcan, Alejandro Ranchal-Pedrosa, Sara Tucci Piergiovanni
On Cancellation of Transactions in Bitcoin-Like Blockchains. OTM Conferences (1) (2018)
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Blockchain Abstract Data Type. IACR Cryptol. ePrint Arch. 2018 (2018)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Correctness and Fairness of Tendermint-core Blockchains. CoRR (2018)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Correctness of Tendermint-Core Blockchains. OPODIS (2018)
Emmanuelle Anceaume, Antonella Del Pozzo, Romaric Ludinard, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Blockchain Abstract Data Type. CoRR (2018)
Alejandro Ranchal-Pedrosa, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Lightning Factories. IACR Cryptol. ePrint Arch. 2018 (2018)
Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni
Correctness and Fairness of Tendermint-core Blockchains. IACR Cryptol. ePrint Arch. 2018 (2018)
Kunal Suri, Juan Cadavid, Mauricio Alférez, Saadia Dhouib, Sara Tucci Piergiovanni
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems. ETFA (2017)
Önder Gürcan, Antonella Del Pozzo, Sara Tucci Piergiovanni
On the Bitcoin Limitations to Deliver Fairness to Users. OTM Conferences (1) (2017)
Hans Blom, De-Jiu Chen, Henrik Kaijser, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Sara Tucci Piergiovanni
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research. Int. J. Syst. Dyn. Appl. 5 (3) (2016)
Matteo Morelli, Yasmina Seddik, Marco Di Natale, Chokri Mraidha, Sara Tucci Piergiovanni
Simulation-Driven Optimization of Real-Time Control Tasks. HPCC/CSS/ICESS (2015)
Ramin Tavakoli Kolagari, De-Jiu Chen, Agnes Lanusse, Renato Librino, Henrik Lönn, Nidhal Mahmud, Chokri Mraidha, Mark-Oliver Reiser, Sandra Torchiaro, Sara Tucci Piergiovanni, Tobias Wägemann, Nataliya Yakymets
Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. Int. J. Concept. Struct. Smart Appl. 3 (2) (2015)
Ernest Wozniak, Marco Di Natale, Haibo Zeng, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Assigning time budgets to component functions in the design of time-critical automotive systems. ASE (2014)
Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. SIES (2014)
Ernest Wozniak, Asma Mehiaoui, Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
An optimization approach for the synthesis of AUTOSAR architectures. ETFA (2013)
Asma Mehiaoui, Ernest Wozniak, Sara Tucci Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Jean-Philippe Babau, Laurent Lemarchand, Sébastien Gérard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. LCTES (2013)
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP (2013)
Rania Mzid, Chokri Mraidha, Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Mohamed Abid
DPMP: A Software Pattern for Real-Time Tasks Merge. ECMFA (2013)
Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86 (10) (2013)
Hugo G. Chalé Góngora, Thierry Gaudré, Sara Tucci Piergiovanni
Towards an Architectural Design Framework for Automotive Systems Development. CSDM (2012)
Asma Mehiaoui, Sara Tucci Piergiovanni, Jean-Philippe Babau, Laurent Lemarchand
Optimizing the Deployment of Distributed Real-Time Embedded Applications. RTCSA (2012)
Sara Tucci Piergiovanni, Chokri Mraidha, Ernest Wozniak, Agnes Lanusse, Sébastien Gérard
A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications. TrustCom (2011)
Saoussen Anssi, Sara Tucci Piergiovanni, Stefan Kuntz, Sébastien Gérard, François Terrier
Enabling Scheduling Analysis for AUTOSAR Systems. ISORC (2011)
Chokri Mraidha, Sara Tucci Piergiovanni, Sebastien Gerard
Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Sara Tucci Piergiovanni, Roberto Baldoni
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. EDCC (2010)
Ansgar Radermacher, Chokri Mraidha, Sara Tucci Piergiovanni, Sébastien Gérard
Generation of schedulable real-time component implementations. ETFA (2010)
Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni, Sirio Scipioni, Sara Tucci Piergiovanni
Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems. IEEE Trans. Parallel Distributed Syst. 21 (5) (2010)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
Investigating the existence and the regularity of Logarithmic Harary Graphs. Theor. Comput. Sci. 410 (21-23) (2009)
Sirio Scipioni, Leonardo Querzoni, Sara Tucci Piergiovanni, Roberto Baldoni
A theoretical evaluation of peer-to-peer internal clock synchronization. Autonomics (2008)
Sara Tucci Piergiovanni, Roberto Baldoni
Brief Announcement: Eventual Leader Election in the Infinite Arrival Message-Passing System Model. DISC (2008)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
A methodology to design arbitrary failure detectors for distributed protocols. J. Syst. Archit. 54 (7) (2008)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Sara Tucci Piergiovanni
Investigating the Existence and the Regularity of Logarithmic Harary Graphs. SRDS (2008)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols. ISORC (2007)
Sara Tucci Piergiovanni, Roberto Baldoni
Connectivity in Eventually Quiescent Dynamic Distributed Systems. LADC (2007)
Roberto Baldoni, Marin Bertier, Michel Raynal, Sara Tucci Piergiovanni
Looking for a Definition of Dynamic Distributed Systems. PaCT (2007)
Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern. IEEE Trans. Computers 56 (6) (2007)
Roberto Baldoni, Silvia Bonomi, Leonardo Querzoni, Adriano Rippa, Sara Tucci Piergiovanni, Antonino Virgillito
Fighting Erosion in Dynamic Large-Scale Overlay Networks. AINA (2007)
Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni, Sirio Scipioni, Sara Tucci Piergiovanni
An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems. OTM Conferences (1) (2007)
Roberto Baldoni, Roberto Beraldi, Vivien Quéma, Leonardo Querzoni, Sara Tucci Piergiovanni
TERA: topic-based event routing for peer-to-peer architectures. DEBS (2007)
Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni
Optimal propagation-based protocols implementing causal memories. Distributed Comput. 18 (6) (2006)
Roberto Baldoni, Silvia Bonomi, Adriano Rippa, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito
Evaluation of Unstructured Overlay Maintenance Protocols under Churn. ICDCS Workshops (2006)
Roberto Baldoni, Miroslaw Malek, Alessia Milani, Sara Tucci Piergiovanni
Weakly-Persistent Causal Objects in Dynamic Distributed Systems. SRDS (2006)
Roberto Baldoni, Giovanni Cortese, Federico Morabito, Leonardo Querzoni, Sara Tucci Piergiovanni, Antonino Virgillito
On The Accuracy of Event Distribution Lists for Publish/Subscribe in Dynamic Distributed Systems. ICDCS Workshops (2006)
Carlo Marchetti, Roberto Baldoni, Sara Tucci Piergiovanni, Antonino Virgillito
Fully Distributed Three-Tier Active Software Replication. IEEE Trans. Parallel Distributed Syst. 17 (7) (2006)
Roberto Baldoni, Sirio Scipioni, Sara Tucci Piergiovanni
Communication Channel Management for Maintenance of Strong Overlay Connectivity. ISCC (2006)
Roberto Baldoni, Rachid Guerraoui, Ron R. Levy, Vivien Quéma, Sara Tucci Piergiovanni
Unconscious Eventual Consistency with Gossips. SSS (2006)
Roberto Baldoni, Sara Tucci Piergiovanni
A Peer-to-Peer Membership Notification Service. DBISP2P (2005)
Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito
On the modelling of publish/subscribe communication systems. Concurr. Pract. Exp. 17 (12) (2005)
Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni
Group communication in ad-hoc networks: a few results and a case study. ICPS (2005)
Roberto Baldoni, Adnan Noor Mian, Sirio Scipioni, Sara Tucci Piergiovanni
Churn Resilience of Peer-to-Peer Group Membership: A Performance Analysis. IWDC (2005)
Roberto Baldoni, Roberto Beraldi, Sara Tucci Piergiovanni, Antonino Virgillito
Measuring Notification Loss in Publish/Subscribe Communication Systems. PRDC (2004)
Roberto Baldoni, Alessia Milani, Sara Tucci Piergiovanni
An Optimal Protocol for Causally Consistent Distributed Shared Memory Systems. IPDPS (2004)

Sara Tucci Piergiovanni.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sara Tucci Piergiovanni