Learning and using mathematics software the natural way. - Stephen Tse; Verónica Dahl (Appl. Math. Lett., 2002)

Translating dependency into parametricity. - Stephen Tse; Steve Zdancewic (ICFP, 2004)

A Design for a Security-Typed Language with Certificate-Based Declassification. - Stephen Tse; Steve Zdancewic (ESOP, 2005)

Managing Policy Updates in Security-Typed Languages. - Nikhil Swamy; Michael Hicks 001; Stephen Tse; Steve Zdancewic (CSFW, 2006)

Run-time principals in information-flow type systems. - Stephen Tse; Steve Zdancewic (ACM Trans. Program. Lang. Syst., 2007)

Verified interoperable implementations of security protocols. - Karthikeyan Bhargavan; Cédric Fournet; Andrew D. Gordon 001; Stephen Tse (ACM Trans. Program. Lang. Syst., 2008)

Horizon: A Gas-Efficient, Trustless Bridge for Cross-Chain Transactions. - Rongjian Lan; Ganesha Upadhyaya; Stephen Tse; Mahdi Zamani (CoRR, 2021)

Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols. - Hakwan Lau; Stephen Tse (CoRR, 2021)