Roberto Saltini

11 papers A 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Majorum: Ebb-and-Flow Consensus with Dynamic Quorums.
CoRR
Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Yann Vonlanthen, Luca Zanolini
2025 A conf
TOB-SVD: Total-Order Broadcast with Single-Vote Decisions in the Sleepy Model.
ICDCS
Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Luca Zanolini
2025 J jnl
Technical Report: Exploring Automatic Model-Checking of the Ethereum specification.
CoRR
Igor Konnov, Jure Kukovec, Thomas Pani, Roberto Saltini, Thanh-Hai Tran
2024 J jnl
3-Slot-Finality Protocol for Ethereum.
CoRR
Francesco D'Amato, Roberto Saltini, Thanh-Hai Tran, Luca Zanolini
2024 J jnl
A Confirmation Rule for the Ethereum Consensus Protocol.
CoRR
Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang
2022 J jnl
BigFooT: A robust optimal-latency BFT blockchain consensus protocol with dynamic validator membership.
Comput. Networks
Roberto Saltini
2020 J jnl
Blockchain Properties for Near-Planetary, Interplanetary, and Metaplanetary Space Domains.
J. Aerosp. Inf. Syst.
David Hyland-Wood, Peter Robinson, Sandra Johnson, Christopher Hare, Brett Henderson, Chris Lewicki, Roberto Saltini
2019 J jnl
Atomic Crosschain Transactions for Ethereum Private Sidechains.
CoRR
Peter Robinson, David Hyland-Wood, Roberto Saltini, Sandra Johnson, John Brainard
2019 J jnl
Correctness Analysis of IBFT.
CoRR
Roberto Saltini
2019 J jnl
IBFT 2.0: A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks.
CoRR
Roberto Saltini, David Hyland-Wood
2019 — conf
IBFT Liveness Analysis.
Blockchain
Roberto Saltini