- PriBank: Confidential Blockchain Scaling Using Short Commit-and-Prove NIZK Argument, Kristian Gjøsteen,Mayank Raikwar,Shuang Wu, CT-RSA 2022, PDF,Code,Talk
- A Blockchain Model in Tamarin and Formal Analysis of Hash Time Lock Contract, Colin Boyd, Kristian Gjøsteen, Shuang Wu, 2nd Workshop on Formal Methods for Blockchains (FMBC 2020), PDF, Code,Talk
- Blockchain-based Privacy-preserving Fair Data Trading Protocol,Yao Jiang Galteland, Shuang Wu. eprint, PDF, Code