Aquinas Hobor

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 34

Top Topics

Logical Reasoning

Top Venues

USENIX Security Symposium

Publications

Tamer Abdelaziz, Aquinas Hobor
Schooling to Exploit Foolish Contracts. BCCA (2023)
Tamer Abdelaziz, Aquinas Hobor
Schooling to Exploit Foolish Contracts. CoRR (2023)
Tamer Abdelaziz, Aquinas Hobor
Smart Learning to Find Dumb Contracts. USENIX Security Symposium (2023)
Tamer Abdelaziz, Aquinas Hobor
Smart Learning to Find Dumb Contracts. CoRR (2023)
Vijeth Aradhya, Seth Gilbert, Aquinas Hobor
Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic Failures. SSS (2023)
Vijeth Aradhya, Seth Gilbert, Aquinas Hobor
OverChain: Building a robust overlay with a blockchain. CoRR (2022)
Anshuman Mohan, Wei Xiang Leow, Aquinas Hobor
Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms. CAV (2) (2021)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. USENIX Security Symposium (2020)
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) (2020)
Linh Tran, Anshuman Mohan, Aquinas Hobor
A functional proof pearl: inverting the Ackermann hierarchy. CPP (2020)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. CoRR (2020)
Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel
Proof Pearl: Magic Wand as Frame. CoRR (2019)
Aquinas Hobor, Elaine Li, Frank Stephan
Pumping, with or Without Choice. APLAS (2019)
Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor
Certifying graph-manipulating C programs via localizations within data structures. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
Exploiting the laws of order in smart contracts. ISSTA (2019)
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. CoRR (2018)
Ilya Sergey, Amrit Kumar, Aquinas Hobor
Temporal Properties of Smart Contracts. ISoLA (4) (2018)
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. CoRR (2018)
Xuan Bach Le, Aquinas Hobor
Logical Reasoning for Disjoint Permissions. ESOP (2018)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Complexity Analysis of Tree Share Structure. APLAS (2018)
Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor
Finding The Greedy, Prodigal, and Suicidal Contracts at Scale. ACSAC (2018)
Ilya Sergey, Amrit Kumar, Aquinas Hobor
Scilla: a Smart Contract Intermediate-Level LAnguage. CoRR (2018)
Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena
Exploiting The Laws of Order in Smart Contracts. CoRR (2018)
Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor
A Certified Decision Procedure for Tree Shares. ICFEM (2017)
Ilya Sergey, Aquinas Hobor
A Concurrent Perspective on Smart Contracts. CoRR (2017)
Ilya Sergey, Aquinas Hobor
A Concurrent Perspective on Smart Contracts. Financial Cryptography Workshops (2017)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. CCS (2016)
Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
Decidability and Complexity of Tree Share Formulas. FSTTCS (2016)
Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor
Making Smart Contracts Smarter. IACR Cryptol. ePrint Arch. 2016 (2016)
Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner
Verifying Concurrent Graph Algorithms. APLAS (2016)
Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin
Specifying Compatible Sharing in Data Structures. ICFEM (2015)
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. IACR Cryptol. ePrint Arch. 2015 (2015)
Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor
On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining. CSF (2015)
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
Certified Reasoning with Infinity. FM (2015)
Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin
A Resource-Based Logic for Termination and Non-termination Proofs. ICFEM (2014)
Aquinas Hobor, Jules Villard
The ramifications of sharing in data structures. POPL (2013)
Xuan Bach Le, Cristian Gherghina, Aquinas Hobor
Decision Procedures over Sophisticated Fractional Permissions. APLAS (2012)
Robert Dockins, Aquinas Hobor
Time Bounds for General Function Pointers. MFPS (2012)
Aquinas Hobor, Cristian Gherghina
Barriers in Concurrent Separation Logic: Now With Tool Support! Log. Methods Comput. Sci. 8 (2) (2012)
Aquinas Hobor, Cristian Gherghina
Barriers in Concurrent Separation Logic. ESOP (2011)
Martin Henz, Aquinas Hobor
Teaching Experience: Logic and Formal Methods with Coq. CPP (2011)
Aquinas Hobor, Robert Dockins, Andrew W. Appel
A theory of indirection via approximation. POPL (2010)
Robert Dockins, Aquinas Hobor
A Theory of Termination via Indirection. Modelling, Controlling and Reasoning About State (2010)
Aquinas Hobor, Robert Dockins, Andrew W. Appel
A Logical Mix of Approximation and Separation. APLAS (2010)
Robert Dockins, Aquinas Hobor, Andrew W. Appel
A Fresh Look at Separation Algebras and Share Accounting. APLAS (2009)
Robert Dockins, Andrew W. Appel, Aquinas Hobor
Multimodal Separation Logic for Reasoning About Operational Semantics. MFPS (2008)
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
Oracle Semantics for Concurrent Separation Logic. ESOP (2008)