Formal Verification of Multi-Paxos for Distributed Consensus. - Saksham Chand; Yanhong A. Liu; Scott D. Stoller (FM, 2016)

Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm. - Yanhong A. Liu; Saksham Chand; Scott D. Stoller (CoRR, 2017)

Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables. - Saksham Chand; Yanhong A. Liu (NFM, 2018)

High-level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Yanhong A. Liu (CoRR, 2018)

High-Level Cryptographic Abstractions. - Christopher Kane; Bo Lin; Saksham Chand; Scott D. Stoller; Yanhong A. Liu (PLAS@CCS, 2019)

Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. - Yanhong A. Liu; Saksham Chand; Scott D. Stoller (PPDP, 2019)

What's Live? Understanding Distributed Consensus. - Saksham Chand; Yanhong A. Liu (CoRR, 2020)

Brief Announcement: What's Live? Understanding Distributed Consensus. - Saksham Chand; Yanhong A. Liu (PODC, 2021)