OPERA: Reasoning about continuous common knowledge in asynchronous distributed systems. - Sang-Min Choi; Jiho Park 002; Quan Hoang Nguyen 001; Andre Cronje; Ki-Young Jang; Hyunjoon Cheon; Yo-Sub Han; Byung-Ik Ahn (CoRR, 2018)

Fantom: A scalable framework for asynchronous distributed systems. - Sang-Min Choi; Jiho Park 002; Quan Hoang Nguyen 001; Andre Cronje (CoRR, 2018)

ONLAY: Online Layering for scalable asynchronous BFT system. - Quan Hoang Nguyen 001; Andre Cronje (CoRR, 2019)

StakeDag: Stake-based Consensus For Scalable Trustless Systems. - Quan Hoang Nguyen 001; André Cronje; Michael Kong; Alex Kampa; George Samman (CoRR, 2019)

StairDag: Cross-DAG Validation For Scalable BFT Consensus. - Quan Hoang Nguyen 001; Andre Cronje; Michael Kong; Alex Kampa; George Samman (CoRR, 2019)

Fast Stochastic Peer Selection in Proof-of-Stake Protocols. - Quan Hoang Nguyen 001; Andre Cronje; Michael Kong (CoRR, 2019)

On Probabilistic Byzantine Fault Tolerance. - Quan Hoang Nguyen 001; Andre Cronje (CoRR, 2020)

OV: Validity-based Optimistic Smart Contracts. - Quan Hoang Nguyen 001; Andre Cronje; Michael Kong (CoRR, 2020)

Lachesis: Scalable Asynchronous BFT on DAG Streams. - Quan Hoang Nguyen 001; Andre Cronje; Michael Kong; Egor Lysenko; Alex Guzev (CoRR, 2021)