Papers (6)

#Title
Citations
1.Tendermint: Byzantine fault tolerance in the age of blockchains Buchman, Ethan. 2016
316
2.Correctness and fairness of tendermint-core blockchains Amoussou-Guenou, Yackolley and Del Pozzo, Antonella and Potop-Butucaru, Maria and Tucci-Piergiovanni, Sara. 2018
24
3.Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper) Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020
2
4.A Tendermint Light Client Braithwaite, Sean and Buchman, Ethan and Khoffi, Ismail and Konnov, Igor and Milosevic, Zarko and Ruetschi, Romain and Widder, Josef. 2020
1
5.Tendermint blockchain synchronization: formal specification and model checking Braithwaite, Sean and Buchman, Ethan and Konnov, Igor and Milosevic, Zarko and Stoilkovska, Ilina and Widder, Josef and Zamfir, Anca. 2020
0
6.On-Chain Smart Contract Verification over Tendermint⋆ Olivieri, Luca and Spoto, Fausto and Tagliaferro, Fabio. 2021
0

Videos