Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Stephen Tse
@article{DBLP:journals/corr/abs-2101-06000, author = {Rongjian Lan and Ganesha Upadhyaya and Stephen Tse and Mahdi Zamani}, title = {Horizon: {A} Gas-Efficient, Trustless Bridge for Cross-Chain Transactions}, journal = {CoRR}, volume = {abs/2101.06000}, year = {2021}, url = {https://arxiv.org/abs/2101.06000}, eprinttype = {arXiv}, eprint = {2101.06000}, timestamp = {Fri, 22 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-06000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-14312, author = {Hakwan Lau and Stephen Tse}, title = {Decentralized Basic Income: Creating Wealth with On-Chain Staking and Fixed-Rate Protocols}, journal = {CoRR}, volume = {abs/2107.14312}, year = {2021}, url = {https://arxiv.org/abs/2107.14312}, eprinttype = {arXiv}, eprint = {2107.14312}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-14312.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/BhargavanFGT08, author = {Karthikeyan Bhargavan and C{\'{e}}dric Fournet and Andrew D. Gordon and Stephen Tse}, title = {Verified interoperable implementations of security protocols}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {31}, number = {1}, pages = {5:1--5:61}, year = {2008}, url = {https://doi.org/10.1145/1452044.1452049}, doi = {10.1145/1452044.1452049}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/BhargavanFGT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/TseZ07, author = {Stephen Tse and Steve Zdancewic}, title = {Run-time principals in information-flow type systems}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {30}, number = {1}, pages = {6}, year = {2007}, url = {https://doi.org/10.1145/1290520.1290526}, doi = {10.1145/1290520.1290526}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/TseZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/BhargavanFGT06, author = {Karthikeyan Bhargavan and C{\'{e}}dric Fournet and Andrew D. Gordon and Stephen Tse}, title = {Verified Interoperable Implementations of Security Protocols}, booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006), 5-7 July 2006, Venice, Italy}, pages = {139--152}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CSFW.2006.32}, doi = {10.1109/CSFW.2006.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/BhargavanFGT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csfw/SwamyHTZ06, author = {Nikhil Swamy and Michael Hicks and Stephen Tse and Steve Zdancewic}, title = {Managing Policy Updates in Security-Typed Languages}, booktitle = {19th {IEEE} Computer Security Foundations Workshop, {(CSFW-19} 2006), 5-7 July 2006, Venice, Italy}, pages = {202--216}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/CSFW.2006.17}, doi = {10.1109/CSFW.2006.17}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csfw/SwamyHTZ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/TseZ05, author = {Stephen Tse and Steve Zdancewic}, editor = {Shmuel Sagiv}, title = {A Design for a Security-Typed Language with Certificate-Based Declassification}, booktitle = {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}, series = {Lecture Notes in Computer Science}, volume = {3444}, pages = {279--294}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31987-0\_20}, doi = {10.1007/978-3-540-31987-0\_20}, timestamp = {Fri, 27 Jan 2023 15:04:25 +0100}, biburl = {https://dblp.org/rec/conf/esop/TseZ05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/TseZ04, author = {Stephen Tse and Steve Zdancewic}, editor = {Chris Okasaki and Kathleen Fisher}, title = {Translating dependency into parametricity}, booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September 19-21, 2004}, pages = {115--125}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1016850.1016868}, doi = {10.1145/1016850.1016868}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/TseZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sp/TseZ04, author = {Stephen Tse and Steve Zdancewic}, title = {Run-time Principals in Information-flow Type Systems}, booktitle = {2004 {IEEE} Symposium on Security and Privacy (S{\&}P 2004), 9-12 May 2004, Berkeley, CA, {USA}}, pages = {179--193}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/SECPRI.2004.1301323}, doi = {10.1109/SECPRI.2004.1301323}, timestamp = {Thu, 21 Sep 2023 15:57:30 +0200}, biburl = {https://dblp.org/rec/conf/sp/TseZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/appml/TseD02, author = {Stephen Tse and Ver{\'{o}}nica Dahl}, title = {Learning and using mathematics software the natural way}, journal = {Appl. Math. Lett.}, volume = {15}, number = {7}, pages = {875--879}, year = {2002}, url = {https://doi.org/10.1016/S0893-9659(02)00056-3}, doi = {10.1016/S0893-9659(02)00056-3}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/appml/TseD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.