Tendermint
Safety and Liveness
Tendermint: Byzantine Fault Tolerance in the Age of Blockchains (2016)
Ethan Buchman (Thesis)
Formal specification by π-calculus
The latest gossip on BFT consensus (2018)
Ethan Buchman, Jae Kwon and Zarko Milosevic
GitHub issues
Fairness
Correctness and Fairness of Tendermint-core Blockchains (2018)
Yackolley Amoussou-Guenou (Sorbonne University), Antonella Del Pozzo, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni
OPODIS '18 Slide
Pointing out bugs in Buchman's thesis
Councurrent with The latest gossip
Dissecting Tendermint
Yackolley Amoussou-Guenou (Sorbonne University), Antonella Del Pozzo, Maria Potop-Butucaru, and Sara Tucci-Piergiovanni
NETYS'19
Based on The latest gossip, pointing out a bug (fixed)
A Computational Study on Fairness of the Tendermint Blockchain Protocol
Nicolas Lagaillardie, Mohamed Aimen Djari and Önder Gürcan (Imperial College London)
Accountability
Safety
Fork accountability -- Problem statement and attacks
On chain execution of fork accountability protocol #4189
Add initial version of fork detection mechanisms #55
Slide
https://gyazo.com/9d999a1d77f53b1fdcad7ba7bf31bf27
Liveness
Enhancing Accountability and Trust in Distributed Ledgers
Based on Tendermint
Mentioned in an issue on the security of light client
See in Censorship
Light client
Light client spec
Lite client is unsafe without counterfactual slashing #3244
Tutorials
Overview Slide by buchman
Article by Dahlia
Why two-phases, lock and unlock? Slide by CodeChain
Awesome list