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

Stephen Tse University of Pennsylvania, Philadelphia, PA, USA http://www.cis.upenn.edu/~stse/

Rongjian Lan Ganesha Upadhyaya Stephen Tse Mahdi Zamani Horizon: A Gas-Efficient, Trustless Bridge for Cross-Chain Transactions. 2021 abs/2101.06000 CoRR https://arxiv.org/abs/2101.06000 db/journals/corr/corr2101.html#abs-2101-06000

Hakwan Lau Stephen Tse Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols. 2021 abs/2107.14312 CoRR https://arxiv.org/abs/2107.14312 db/journals/corr/corr2107.html#abs-2107-14312

Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon 0001 Stephen Tse Verified interoperable implementations of security protocols. 2008 31 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/1452044.1452049 https://www.wikidata.org/entity/Q60530246 db/journals/toplas/toplas31.html#BhargavanFGT08 5:1-5:61

Stephen Tse Steve Zdancewic Run-time principals in information-flow type systems. 2007 30 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/1290520.1290526 https://www.wikidata.org/entity/Q130994788 db/journals/toplas/toplas30.html#TseZ07 6

Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon 0001 Stephen Tse Verified Interoperable Implementations of Security Protocols. 139-152 2006 conf/csfw/2006 CSFW https://doi.org/10.1109/CSFW.2006.32 https://doi.ieeecomputersociety.org/10.1109/CSFW.2006.32 db/conf/csfw/csfw2006.html#BhargavanFGT06 Nikhil Swamy Michael Hicks 0001 Stephen Tse Steve Zdancewic Managing Policy Updates in Security-Typed Languages. 202-216 2006 conf/csfw/2006 CSFW https://doi.org/10.1109/CSFW.2006.17 https://doi.ieeecomputersociety.org/10.1109/CSFW.2006.17 db/conf/csfw/csfw2006.html#SwamyHTZ06 Stephen Tse Steve Zdancewic A Design for a Security-Typed Language with Certificate-Based Declassification. 279-294 https://doi.org/10.1007/978-3-540-31987-0_20 2005 conf/esop/2005 ESOP db/conf/esop/esop2005.html#TseZ05 Stephen Tse Steve Zdancewic Translating dependency into parametricity. 115-125 2004 conf/icfp/2004 ICFP https://doi.org/10.1145/1016850.1016868 https://doi.org/10.1145/1016848.1016868 db/conf/icfp/icfp2004.html#TseZ04 Stephen Tse Steve Zdancewic Run-time Principals in Information-flow Type Systems. 179-193 2004 conf/sp/2004 S&P https://doi.org/10.1109/SECPRI.2004.1301323 https://doi.ieeecomputersociety.org/10.1109/SECPRI.2004.1301323 db/conf/sp/sp2004.html#TseZ04

Stephen Tse Verónica Dahl Learning and using mathematics software the natural way. 875-879 2002 15 Appl. Math. Lett. 7 https://doi.org/10.1016/S0893-9659(02)00056-3 db/journals/appml/appml15.html#TseD02

Karthikeyan Bhargavan Verónica Dahl Cédric Fournet Andrew D. Gordon 0001 Michael Hicks 0001 Rongjian Lan Hakwan Lau Nikhil Swamy Ganesha Upadhyaya Mahdi Zamani Steve Zdancewic