Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Aquinas Hobor
@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} }
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.