BibTeX records: Aquinas Hobor

download as .bib file

@inproceedings{DBLP:conf/bcca/AbdelazizH23,
  author       = {Tamer Abdelaziz and
                  Aquinas Hobor},
  editor       = {Moayad Aloqaily and
                  Safa Otoum and
                  Ouns Bouachir and
                  Yaser Jararweh and
                  Ismaeel Al Ridhawi and
                  Khalid Al{-}Begain and
                  Mohammad A. Alsmirat},
  title        = {Schooling to Exploit Foolish Contracts},
  booktitle    = {Fifth International Conference on Blockchain Computing and Applications,
                  {BCCA} 2023, Kuwait, Kuwait, October 24-26, 2023},
  pages        = {388--395},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/BCCA58897.2023.10338924},
  doi          = {10.1109/BCCA58897.2023.10338924},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcca/AbdelazizH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AradhyaGH23,
  author       = {Vijeth Aradhya and
                  Seth Gilbert and
                  Aquinas Hobor},
  editor       = {Shlomi Dolev and
                  Baruch Schieber},
  title        = {Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic
                  Failures},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 25th
                  International Symposium, {SSS} 2023, Jersey City, NJ, USA, October
                  2-4, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14310},
  pages        = {191--206},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44274-2\_15},
  doi          = {10.1007/978-3-031-44274-2\_15},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/AradhyaGH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AbdelazizH23,
  author       = {Tamer Abdelaziz and
                  Aquinas Hobor},
  editor       = {Joseph A. Calandrino and
                  Carmela Troncoso},
  title        = {Smart Learning to Find Dumb Contracts},
  booktitle    = {32nd {USENIX} Security Symposium, {USENIX} Security 2023, Anaheim,
                  CA, USA, August 9-11, 2023},
  pages        = {1775--1792},
  publisher    = {{USENIX} Association},
  year         = {2023},
  url          = {https://www.usenix.org/conference/usenixsecurity23/presentation/abdelaziz},
  timestamp    = {Wed, 18 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/AbdelazizH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10726,
  author       = {Tamer Abdelaziz and
                  Aquinas Hobor},
  title        = {Smart Learning to Find Dumb Contracts},
  journal      = {CoRR},
  volume       = {abs/2304.10726},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.10726},
  doi          = {10.48550/ARXIV.2304.10726},
  eprinttype    = {arXiv},
  eprint       = {2304.10726},
  timestamp    = {Tue, 02 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-10726.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10737,
  author       = {Tamer Abdelaziz and
                  Aquinas Hobor},
  title        = {Schooling to Exploit Foolish Contracts},
  journal      = {CoRR},
  volume       = {abs/2304.10737},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.10737},
  doi          = {10.48550/ARXIV.2304.10737},
  eprinttype    = {arXiv},
  eprint       = {2304.10737},
  timestamp    = {Tue, 02 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-10737.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-12809,
  author       = {Vijeth Aradhya and
                  Seth Gilbert and
                  Aquinas Hobor},
  title        = {OverChain: Building a robust overlay with a blockchain},
  journal      = {CoRR},
  volume       = {abs/2201.12809},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.12809},
  eprinttype    = {arXiv},
  eprint       = {2201.12809},
  timestamp    = {Wed, 02 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-12809.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MohanLH20,
  author       = {Anshuman Mohan and
                  Wei Xiang Leow and
                  Aquinas Hobor},
  editor       = {Alexandra Silva and
                  K. Rustan M. Leino},
  title        = {Functional Correctness of {C} Implementations of Dijkstra's, Kruskal's,
                  and Prim's Algorithms},
  booktitle    = {Computer Aided Verification - 33rd International Conference, {CAV}
                  2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12760},
  pages        = {801--826},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-81688-9\_37},
  doi          = {10.1007/978-3-030-81688-9\_37},
  timestamp    = {Fri, 23 Jul 2021 16:41:31 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MohanLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BrotherstonCHW20,
  author       = {James Brotherston and
                  Diana Costa and
                  Aquinas Hobor and
                  John Wickerson},
  editor       = {Shuvendu K. Lahiri and
                  Chao Wang},
  title        = {Reasoning over Permissions Regions in Concurrent Separation Logic},
  booktitle    = {Computer Aided Verification - 32nd International Conference, {CAV}
                  2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12225},
  pages        = {203--224},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-53291-8\_13},
  doi          = {10.1007/978-3-030-53291-8\_13},
  timestamp    = {Tue, 06 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BrotherstonCHW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/TranMH20,
  author       = {Linh Tran and
                  Anshuman Mohan and
                  Aquinas Hobor},
  editor       = {Jasmin Blanchette and
                  Catalin Hritcu},
  title        = {A functional proof pearl: inverting the Ackermann hierarchy},
  booktitle    = {Proceedings of the 9th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2020, New Orleans, LA, USA, January
                  20-21, 2020},
  pages        = {129--142},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3372885.3373837},
  doi          = {10.1145/3372885.3373837},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/TranMH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/ShindeWYHRS20,
  author       = {Shweta Shinde and
                  Shengyi Wang and
                  Pinghai Yuan and
                  Aquinas Hobor and
                  Abhik Roychoudhury and
                  Prateek Saxena},
  editor       = {Srdjan Capkun and
                  Franziska Roesner},
  title        = {BesFS: {A} {POSIX} Filesystem for Enclaves with a Mechanized Safety
                  Proof},
  booktitle    = {29th {USENIX} Security Symposium, {USENIX} Security 2020, August 12-14,
                  2020},
  pages        = {523--540},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/usenixsecurity20/presentation/shinde},
  timestamp    = {Fri, 29 Jan 2021 22:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/uss/ShindeWYHRS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02340,
  author       = {Xuan Bach Le and
                  Aquinas Hobor and
                  Anthony W. Lin},
  title        = {Complexity Analysis of Tree Share Structure},
  journal      = {CoRR},
  volume       = {abs/2010.02340},
  year         = {2020},
  url          = {https://arxiv.org/abs/2010.02340},
  eprinttype    = {arXiv},
  eprint       = {2010.02340},
  timestamp    = {Mon, 12 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2010-02340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangCMH19,
  author       = {Shengyi Wang and
                  Qinxiang Cao and
                  Anshuman Mohan and
                  Aquinas Hobor},
  title        = {Certifying graph-manipulating {C} programs via localizations within
                  data structures},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{OOPSLA}},
  pages        = {171:1--171:30},
  year         = {2019},
  url          = {https://doi.org/10.1145/3360597},
  doi          = {10.1145/3360597},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/WangCMH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoborL019,
  author       = {Aquinas Hobor and
                  Elaine Li and
                  Frank Stephan},
  editor       = {Anthony Widjaja Lin},
  title        = {Pumping, with or Without Choice},
  booktitle    = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
                  2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11893},
  pages        = {427--446},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-34175-6\_22},
  doi          = {10.1007/978-3-030-34175-6\_22},
  timestamp    = {Sat, 09 Apr 2022 12:39:28 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HoborL019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KolluriNSHS19,
  author       = {Aashish Kolluri and
                  Ivica Nikolic and
                  Ilya Sergey and
                  Aquinas Hobor and
                  Prateek Saxena},
  editor       = {Dongmei Zhang and
                  Anders M{\o}ller},
  title        = {Exploiting the laws of order in smart contracts},
  booktitle    = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
                  Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
                  15-19, 2019},
  pages        = {363--373},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293882.3330560},
  doi          = {10.1145/3293882.3330560},
  timestamp    = {Thu, 23 Jun 2022 07:46:09 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/KolluriNSHS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-08789,
  author       = {Qinxiang Cao and
                  Shengyi Wang and
                  Aquinas Hobor and
                  Andrew W. Appel},
  title        = {Proof Pearl: Magic Wand as Frame},
  journal      = {CoRR},
  volume       = {abs/1909.08789},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.08789},
  eprinttype    = {arXiv},
  eprint       = {1909.08789},
  timestamp    = {Tue, 24 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-08789.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/NikolicKSSH18,
  author       = {Ivica Nikolic and
                  Aashish Kolluri and
                  Ilya Sergey and
                  Prateek Saxena and
                  Aquinas Hobor},
  title        = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
  booktitle    = {Proceedings of the 34th Annual Computer Security Applications Conference,
                  {ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
  pages        = {653--663},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3274694.3274743},
  doi          = {10.1145/3274694.3274743},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsac/NikolicKSSH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LeHL18,
  author       = {Xuan Bach Le and
                  Aquinas Hobor and
                  Anthony W. Lin},
  editor       = {Sukyoung Ryu},
  title        = {Complexity Analysis of Tree Share Structure},
  booktitle    = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
                  2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11275},
  pages        = {89--108},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02768-1\_5},
  doi          = {10.1007/978-3-030-02768-1\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LeHL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LeH18,
  author       = {Xuan Bach Le and
                  Aquinas Hobor},
  editor       = {Amal Ahmed},
  title        = {Logical Reasoning for Disjoint Permissions},
  booktitle    = {Programming Languages and Systems - 27th European Symposium on Programming,
                  {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
                  14-20, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {385--414},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_14},
  doi          = {10.1007/978-3-319-89884-1\_14},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/LeH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/Sergey0H18,
  author       = {Ilya Sergey and
                  Amrit Kumar and
                  Aquinas Hobor},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Temporal Properties of Smart Contracts},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
                  Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11247},
  pages        = {323--338},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03427-6\_25},
  doi          = {10.1007/978-3-030-03427-6\_25},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/Sergey0H18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-00687,
  author       = {Ilya Sergey and
                  Amrit Kumar and
                  Aquinas Hobor},
  title        = {Scilla: a Smart Contract Intermediate-Level LAnguage},
  journal      = {CoRR},
  volume       = {abs/1801.00687},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.00687},
  eprinttype    = {arXiv},
  eprint       = {1801.00687},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-00687.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06038,
  author       = {Ivica Nikolic and
                  Aashish Kolluri and
                  Ilya Sergey and
                  Prateek Saxena and
                  Aquinas Hobor},
  title        = {Finding The Greedy, Prodigal, and Suicidal Contracts at Scale},
  journal      = {CoRR},
  volume       = {abs/1802.06038},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.06038},
  eprinttype    = {arXiv},
  eprint       = {1802.06038},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-00477,
  author       = {Shweta Shinde and
                  Shengyi Wang and
                  Pinghai Yuan and
                  Aquinas Hobor and
                  Abhik Roychoudhury and
                  Prateek Saxena},
  title        = {BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves},
  journal      = {CoRR},
  volume       = {abs/1807.00477},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.00477},
  eprinttype    = {arXiv},
  eprint       = {1807.00477},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-00477.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11605,
  author       = {Aashish Kolluri and
                  Ivica Nikolic and
                  Ilya Sergey and
                  Aquinas Hobor and
                  Prateek Saxena},
  title        = {Exploiting The Laws of Order in Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/1810.11605},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.11605},
  eprinttype    = {arXiv},
  eprint       = {1810.11605},
  timestamp    = {Wed, 31 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-11605.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/SergeyH17,
  author       = {Ilya Sergey and
                  Aquinas Hobor},
  editor       = {Michael Brenner and
                  Kurt Rohloff and
                  Joseph Bonneau and
                  Andrew Miller and
                  Peter Y. A. Ryan and
                  Vanessa Teague and
                  Andrea Bracciali and
                  Massimiliano Sala and
                  Federico Pintore and
                  Markus Jakobsson},
  title        = {A Concurrent Perspective on Smart Contracts},
  booktitle    = {Financial Cryptography and Data Security - {FC} 2017 International
                  Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
                  7, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10323},
  pages        = {478--493},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70278-0\_30},
  doi          = {10.1007/978-3-319-70278-0\_30},
  timestamp    = {Tue, 16 Aug 2022 23:04:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fc/SergeyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeNCH17,
  author       = {Xuan Bach Le and
                  Thanh{-}Toan Nguyen and
                  Wei{-}Ngan Chin and
                  Aquinas Hobor},
  editor       = {Zhenhua Duan and
                  Luke Ong},
  title        = {A Certified Decision Procedure for Tree Shares},
  booktitle    = {Formal Methods and Software Engineering - 19th International Conference
                  on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
                  13-17, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10610},
  pages        = {226--242},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68690-5\_14},
  doi          = {10.1007/978-3-319-68690-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeNCH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SergeyH17,
  author       = {Ilya Sergey and
                  Aquinas Hobor},
  title        = {A Concurrent Perspective on Smart Contracts},
  journal      = {CoRR},
  volume       = {abs/1702.05511},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.05511},
  eprinttype    = {arXiv},
  eprint       = {1702.05511},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SergeyH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RaadHVG16,
  author       = {Azalea Raad and
                  Aquinas Hobor and
                  Jules Villard and
                  Philippa Gardner},
  editor       = {Atsushi Igarashi},
  title        = {Verifying Concurrent Graph Algorithms},
  booktitle    = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
                  2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10017},
  pages        = {314--334},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47958-3\_17},
  doi          = {10.1007/978-3-319-47958-3\_17},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/RaadHVG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/LuuCOSH16,
  author       = {Loi Luu and
                  Duc{-}Hiep Chu and
                  Hrishi Olickel and
                  Prateek Saxena and
                  Aquinas Hobor},
  editor       = {Edgar R. Weippl and
                  Stefan Katzenbeisser and
                  Christopher Kruegel and
                  Andrew C. Myers and
                  Shai Halevi},
  title        = {Making Smart Contracts Smarter},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, Vienna, Austria, October 24-28, 2016},
  pages        = {254--269},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2976749.2978309},
  doi          = {10.1145/2976749.2978309},
  timestamp    = {Tue, 10 Nov 2020 20:00:49 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/LuuCOSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/LeHL16,
  author       = {Xuan Bach Le and
                  Aquinas Hobor and
                  Anthony W. Lin},
  editor       = {Akash Lal and
                  S. Akshay and
                  Saket Saurabh and
                  Sandeep Sen},
  title        = {Decidability and Complexity of Tree Share Formulas},
  booktitle    = {36th {IARCS} Annual Conference on Foundations of Software Technology
                  and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016,
                  Chennai, India},
  series       = {LIPIcs},
  volume       = {65},
  pages        = {19:1--19:14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2016.19},
  doi          = {10.4230/LIPICS.FSTTCS.2016.19},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/LeHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LuuCOSH16,
  author       = {Loi Luu and
                  Duc{-}Hiep Chu and
                  Hrishi Olickel and
                  Prateek Saxena and
                  Aquinas Hobor},
  title        = {Making Smart Contracts Smarter},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {633},
  year         = {2016},
  url          = {http://eprint.iacr.org/2016/633},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/LuuCOSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/LuuSPSH15,
  author       = {Loi Luu and
                  Ratul Saha and
                  Inian Parameshwaran and
                  Prateek Saxena and
                  Aquinas Hobor},
  editor       = {C{\'{e}}dric Fournet and
                  Michael W. Hicks and
                  Luca Vigan{\`{o}}},
  title        = {On Power Splitting Games in Distributed Computation: The Case of Bitcoin
                  Pooled Mining},
  booktitle    = {{IEEE} 28th Computer Security Foundations Symposium, {CSF} 2015, Verona,
                  Italy, 13-17 July, 2015},
  pages        = {397--411},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/CSF.2015.34},
  doi          = {10.1109/CSF.2015.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csfw/LuuSPSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SharmaWCHC15,
  author       = {Asankhaya Sharma and
                  Shengyi Wang and
                  Andreea Costea and
                  Aquinas Hobor and
                  Wei{-}Ngan Chin},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Frank S. de Boer},
  title        = {Certified Reasoning with Infinity},
  booktitle    = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
                  June 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9109},
  pages        = {496--513},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19249-9\_31},
  doi          = {10.1007/978-3-319-19249-9\_31},
  timestamp    = {Thu, 14 Apr 2022 20:26:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SharmaWCHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SharmaHC15,
  author       = {Asankhaya Sharma and
                  Aquinas Hobor and
                  Wei{-}Ngan Chin},
  editor       = {Michael J. Butler and
                  Sylvain Conchon and
                  Fatiha Za{\"{\i}}di},
  title        = {Specifying Compatible Sharing in Data Structures},
  booktitle    = {Formal Methods and Software Engineering - 17th International Conference
                  on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
                  3-5, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9407},
  pages        = {349--365},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25423-4\_23},
  doi          = {10.1007/978-3-319-25423-4\_23},
  timestamp    = {Sun, 02 Jun 2019 21:19:43 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/SharmaHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/LuuSPSH15,
  author       = {Loi Luu and
                  Ratul Saha and
                  Inian Parameshwaran and
                  Prateek Saxena and
                  Aquinas Hobor},
  title        = {On Power Splitting Games in Distributed Computation: The Case of Bitcoin
                  Pooled Mining},
  journal      = {{IACR} Cryptol. ePrint Arch.},
  pages        = {155},
  year         = {2015},
  url          = {http://eprint.iacr.org/2015/155},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iacr/LuuSPSH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeGHC14,
  author       = {Ton Chanh Le and
                  Cristian Gherghina and
                  Aquinas Hobor and
                  Wei{-}Ngan Chin},
  editor       = {Stephan Merz and
                  Jun Pang},
  title        = {A Resource-Based Logic for Termination and Non-termination Proofs},
  booktitle    = {Formal Methods and Software Engineering - 16th International Conference
                  on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg,
                  November 3-5, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8829},
  pages        = {267--283},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11737-9\_18},
  doi          = {10.1007/978-3-319-11737-9\_18},
  timestamp    = {Sat, 31 Aug 2019 23:49:22 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/LeGHC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoborV13,
  author       = {Aquinas Hobor and
                  Jules Villard},
  editor       = {Roberto Giacobazzi and
                  Radhia Cousot},
  title        = {The ramifications of sharing in data structures},
  booktitle    = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
                  Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
                  2013},
  pages        = {523--536},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2429069.2429131},
  doi          = {10.1145/2429069.2429131},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/HoborV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6412,
  author       = {Aquinas Hobor and
                  Cristian Gherghina},
  title        = {Barriers in Concurrent Separation Logic: Now With Tool Support!},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {8},
  number       = {2},
  year         = {2012},
  url          = {https://doi.org/10.2168/LMCS-8(2:2)2012},
  doi          = {10.2168/LMCS-8(2:2)2012},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-6412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LeGH12,
  author       = {Xuan Bach Le and
                  Cristian Gherghina and
                  Aquinas Hobor},
  editor       = {Ranjit Jhala and
                  Atsushi Igarashi},
  title        = {Decision Procedures over Sophisticated Fractional Permissions},
  booktitle    = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
                  2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7705},
  pages        = {368--385},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35182-2\_26},
  doi          = {10.1007/978-3-642-35182-2\_26},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LeGH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DockinsH12,
  author       = {Robert Dockins and
                  Aquinas Hobor},
  editor       = {Ulrich Berger and
                  Michael W. Mislove},
  title        = {Time Bounds for General Function Pointers},
  booktitle    = {Proceedings of the 28th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2012, Bath, UK, June 6-9, 2012},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {286},
  pages        = {139--155},
  publisher    = {Elsevier},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.entcs.2012.08.010},
  doi          = {10.1016/J.ENTCS.2012.08.010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DockinsH12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012ftfjp,
  editor       = {Wei{-}Ngan Chin and
                  Aquinas Hobor},
  title        = {Proceedings of the 14th Workshop on Formal Techniques for Java-like
                  Programs, FTfJP 2012, Beijing, China, June 12, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2318202},
  doi          = {10.1145/2318202},
  isbn         = {978-1-4503-1272-1},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/2012ftfjp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HenzH11,
  author       = {Martin Henz and
                  Aquinas Hobor},
  editor       = {Jean{-}Pierre Jouannaud and
                  Zhong Shao},
  title        = {Teaching Experience: Logic and Formal Methods with Coq},
  booktitle    = {Certified Programs and Proofs - First International Conference, {CPP}
                  2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7086},
  pages        = {199--215},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25379-9\_16},
  doi          = {10.1007/978-3-642-25379-9\_16},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/HenzH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoborG11,
  author       = {Aquinas Hobor and
                  Cristian Gherghina},
  editor       = {Gilles Barthe},
  title        = {Barriers in Concurrent Separation Logic},
  booktitle    = {Programming Languages and Systems - 20th European Symposium on Programming,
                  {ESOP} 2011, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany,
                  March 26-April 3, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6602},
  pages        = {276--296},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-19718-5\_15},
  doi          = {10.1007/978-3-642-19718-5\_15},
  timestamp    = {Sat, 19 Oct 2019 20:28:04 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HoborG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoborDA10,
  author       = {Aquinas Hobor and
                  Robert Dockins and
                  Andrew W. Appel},
  editor       = {Kazunori Ueda},
  title        = {A Logical Mix of Approximation and Separation},
  booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
                  Shanghai, China, November 28 - December 1, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6461},
  pages        = {439--454},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17164-2\_30},
  doi          = {10.1007/978-3-642-17164-2\_30},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/HoborDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoborDA10,
  author       = {Aquinas Hobor and
                  Robert Dockins and
                  Andrew W. Appel},
  editor       = {Manuel V. Hermenegildo and
                  Jens Palsberg},
  title        = {A theory of indirection via approximation},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
                  of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
                  2010},
  pages        = {171--184},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1706299.1706322},
  doi          = {10.1145/1706299.1706322},
  timestamp    = {Tue, 22 Jun 2021 17:10:57 +0200},
  biburl       = {https://dblp.org/rec/conf/popl/HoborDA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DockinsH10,
  author       = {Robert Dockins and
                  Aquinas Hobor},
  editor       = {Amal Ahmed and
                  Nick Benton and
                  Lars Birkedal and
                  Martin Hofmann},
  title        = {A Theory of Termination via Indirection},
  booktitle    = {Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {10351},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2010},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2010/2805/},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DockinsH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/DockinsHA09,
  author       = {Robert Dockins and
                  Aquinas Hobor and
                  Andrew W. Appel},
  editor       = {Zhenjiang Hu},
  title        = {A Fresh Look at Separation Algebras and Share Accounting},
  booktitle    = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
                  Seoul, Korea, December 14-16, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5904},
  pages        = {161--177},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10672-9\_13},
  doi          = {10.1007/978-3-642-10672-9\_13},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/DockinsHA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HoborAN08,
  author       = {Aquinas Hobor and
                  Andrew W. Appel and
                  Francesco Zappa Nardelli},
  editor       = {Sophia Drossopoulou},
  title        = {Oracle Semantics for Concurrent Separation Logic},
  booktitle    = {Programming Languages and Systems, 17th European Symposium on Programming,
                  {ESOP} 2008, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April
                  6, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4960},
  pages        = {353--367},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78739-6\_27},
  doi          = {10.1007/978-3-540-78739-6\_27},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/HoborAN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DockinsAH08,
  author       = {Robert Dockins and
                  Andrew W. Appel and
                  Aquinas Hobor},
  editor       = {Andrej Bauer and
                  Michael W. Mislove},
  title        = {Multimodal Separation Logic for Reasoning About Operational Semantics},
  booktitle    = {Proceedings of the 24th Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
                  22-25, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {218},
  pages        = {5--20},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2008.10.002},
  doi          = {10.1016/J.ENTCS.2008.10.002},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DockinsAH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics