Aquinas Hobor

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