Stephen Tse

According to our database, Stephen Tse authored at least 8 papers between 2002 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols.

Hakwan Lau, Stephen Tse

CoRR, 2021

Horizon: A Gas-Efficient, Trustless Bridge for Cross-Chain Transactions.

Rongjian Lan, Ganesha Upadhyaya, Stephen Tse, Mahdi Zamani

CoRR, 2021

2008

Verified interoperable implementations of security protocols.

Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse

ACM Trans. Program. Lang. Syst., 2008

2007

Run-time principals in information-flow type systems.

Stephen Tse, Steve Zdancewic

ACM Trans. Program. Lang. Syst., 2007

2006

Managing Policy Updates in Security-Typed Languages.

Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

A Design for a Security-Typed Language with Certificate-Based Declassification.

Stephen Tse, Steve Zdancewic

Proceedings of the Programming Languages and Systems, 2005

2004

Translating dependency into parametricity.

Stephen Tse, Steve Zdancewic

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002

Learning and using mathematics software the natural way.

Stephen Tse, Verónica Dahl

Appl. Math. Lett., 2002