Roberto Saltini

According to our database, Roberto Saltini authored at least 11 papers between 2019 and 2026.

Collaborative distances:

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

2026

Majorum: Ebb-and-Flow Consensus with Dynamic Quorums.

Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Yann Vonlanthen, Luca Zanolini

CoRR, January, 2026

2025

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.

Igor Konnov, Jure Kukovec, Thomas Pani, Roberto Saltini, Thanh-Hai Tran

CoRR, January, 2025

TOB-SVD: Total-Order Broadcast with Single-Vote Decisions in the Sleepy Model.

Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Luca Zanolini

Proceedings of the 45th IEEE International Conference on Distributed Computing Systems, 2025

2024

3-Slot-Finality Protocol for Ethereum.

Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Luca Zanolini

CoRR, 2024

A Confirmation Rule for the Ethereum Consensus Protocol.

Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang

CoRR, 2024

2022

BigFooT: A robust optimal-latency BFT blockchain consensus protocol with dynamic validator membership.

Roberto Saltini

Comput. Networks, 2022

2020

Blockchain Properties for Near-Planetary, Interplanetary, and Metaplanetary Space Domains.

David Hyland-Wood, Peter Robinson, Sandra Johnson, Christopher Hare, Brett Henderson, Chris Lewicki, Roberto Saltini

J. Aerosp. Inf. Syst., October, 2020

2019

IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks.

Roberto Saltini, David Hyland-Wood

CoRR, 2019

Atomic Crosschain Transactions for Ethereum Private Sidechains.

Peter Robinson, David Hyland-Wood, Roberto Saltini, Sandra Johnson, John Brainard

CoRR, 2019

Correctness Analysis of IBFT.

Roberto Saltini

CoRR, 2019

IBFT Liveness Analysis.

Roberto Saltini

Proceedings of the IEEE International Conference on Blockchain, 2019