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)

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

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; Stephen Tse (19th IEEE Computer Security Foundations Workshop (CSFW-19 2006), 5-7 July 2006, Venice, Italy, 2006)

Managing Policy Updates in Security-Typed Languages - Nikhil Swamy; Michael Hicks; Stephen Tse; Steve Zdancewic (19th IEEE Computer Security Foundations Workshop (CSFW-19 2006), 5-7 July 2006, Venice, Italy, 2006)

A Design for a Security-Typed Language with Certificate-Based Declassification - Stephen Tse; Steve Zdancewic (Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, 2005)

Translating dependency into parametricity - Stephen Tse; Steve Zdancewic (Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, 2004)

Run-time Principals in Information-flow Type Systems - Stephen Tse; Steve Zdancewic (2004 IEEE Symposium on Security and Privacy (S&P 2004), 9-12 May 2004, Berkeley, CA, USA, 2004)

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