Vandal: A Scalable Security Analysis Framework for Smart Contracts. - Lexi Brent; Anton Jurisevic; Michael Kong; Eric Liu; François Gauthier 001; Vincent Gramoli; Ralph Holz; Bernhard Scholz (CoRR, 2018)

MadMax: surviving out-of-gas conditions in Ethereum smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Proc. ACM Program. Lang., 2018)

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)

MadMax: analyzing the out-of-gas world of smart contracts. - Neville Grech; Michael Kong; Anton Jurisevic; Lexi Brent; Bernhard Scholz; Yannis Smaragdakis (Commun. ACM, 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)