Stephen Tse

Publication Activity (10 Years)

Years Active: 2002-2021
Publications (10 Years): 2

Top Topics

Computationally Expensive

Transactional Data

Top Venues

Publications

Hakwan Lau, Stephen Tse
Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols. CoRR (2021)
Rongjian Lan, Ganesha Upadhyaya, Stephen Tse, Mahdi Zamani
Horizon: A Gas-Efficient, Trustless Bridge for Cross-Chain Transactions. CoRR (2021)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified interoperable implementations of security protocols. ACM Trans. Program. Lang. Syst. 31 (1) (2008)
Stephen Tse, Steve Zdancewic
Run-time principals in information-flow type systems. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Verified Interoperable Implementations of Security Protocols. CSFW (2006)
Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
Managing Policy Updates in Security-Typed Languages. CSFW (2006)
Stephen Tse, Steve Zdancewic
A Design for a Security-Typed Language with Certificate-Based Declassification. ESOP (2005)
Stephen Tse, Steve Zdancewic
Run-time Principals in Information-flow Type Systems. IEEE Symposium on Security and Privacy (2004)
Stephen Tse, Steve Zdancewic
Translating dependency into parametricity. ICFP (2004)
Stephen Tse, Verónica Dahl
Learning and using mathematics software the natural way. Appl. Math. Lett. 15 (7) (2002)