BibTeX records: Stephen Tse

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics