Aquinas Hobor

According to our database, Aquinas Hobor authored at least 39 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Smart Learning to Find Dumb Contracts.

Tamer Abdelaziz, Aquinas Hobor

Proceedings of the 32nd USENIX Security Symposium, 2023

Robust Overlays Meet Blockchains - On Handling High Churn and Catastrophic Failures.

Vijeth Aradhya, Seth Gilbert, Aquinas Hobor

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Schooling to Exploit Foolish Contracts.

Tamer Abdelaziz, Aquinas Hobor

Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023

2022

OverChain: Building a robust overlay with a blockchain.

Vijeth Aradhya, Seth Gilbert, Aquinas Hobor

CoRR, 2022

2021

Functional Correctness of C Implementations of Dijkstra's, Kruskal's, and Prim's Algorithms.

Anshuman Mohan, Wei Xiang Leow, Aquinas Hobor

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof.

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

Proceedings of the 29th USENIX Security Symposium, 2020

A functional proof pearl: inverting the Ackermann hierarchy.

Linh Tran, Anshuman Mohan, Aquinas Hobor

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

Reasoning over Permissions Regions in Concurrent Separation Logic.

James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Certifying graph-manipulating C programs via localizations within data structures.

Shengyi Wang, Qinxiang Cao, Anshuman Mohan, Aquinas Hobor

Proc. ACM Program. Lang., 2019

Proof Pearl: Magic Wand as Frame.

Qinxiang Cao, Shengyi Wang, Aquinas Hobor, Andrew W. Appel

CoRR, 2019

Exploiting the laws of order in smart contracts.

Aashish Kolluri, Ivica Nikolic, Ilya Sergey, Aquinas Hobor, Prateek Saxena

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Pumping, with or Without Choice.

Aquinas Hobor, Elaine Li, Frank Stephan

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves.

Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena

CoRR, 2018

Scilla: a Smart Contract Intermediate-Level LAnguage.

Ilya Sergey, Amrit Kumar, Aquinas Hobor

CoRR, 2018

Temporal Properties of Smart Contracts.

Ilya Sergey, Amrit Kumar, Aquinas Hobor

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Logical Reasoning for Disjoint Permissions.

Xuan Bach Le, Aquinas Hobor

Proceedings of the Programming Languages and Systems, 2018

Complexity Analysis of Tree Share Structure.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale.

Ivica Nikolic, Aashish Kolluri, Ilya Sergey, Prateek Saxena, Aquinas Hobor

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

A Certified Decision Procedure for Tree Shares.

Xuan Bach Le, Thanh-Toan Nguyen, Wei-Ngan Chin, Aquinas Hobor

Proceedings of the Formal Methods and Software Engineering, 2017

A Concurrent Perspective on Smart Contracts.

Ilya Sergey, Aquinas Hobor

Proceedings of the Financial Cryptography and Data Security, 2017

2016

Making Smart Contracts Smarter.

Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, Aquinas Hobor

IACR Cryptol. ePrint Arch., 2016

Decidability and Complexity of Tree Share Formulas.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Verifying Concurrent Graph Algorithms.

Azalea Raad, Aquinas Hobor, Jules Villard, Philippa Gardner

Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015

On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining.

Loi Luu, Ratul Saha, Inian Parameshwaran, Prateek Saxena, Aquinas Hobor

IACR Cryptol. ePrint Arch., 2015

Specifying Compatible Sharing in Data Structures.

Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2015

Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the FM 2015: Formal Methods, 2015

2014

A Resource-Based Logic for Termination and Non-termination Proofs.

Ton Chanh Le, Cristian Gherghina, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the Formal Methods and Software Engineering, 2014

2013

The ramifications of sharing in data structures.

Aquinas Hobor, Jules Villard

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Time Bounds for General Function Pointers.

Robert Dockins, Aquinas Hobor

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

Barriers in Concurrent Separation Logic: Now With Tool Support!

Aquinas Hobor, Cristian Gherghina

Log. Methods Comput. Sci., 2012

Decision Procedures over Sophisticated Fractional Permissions.

Xuan Bach Le, Cristian Gherghina, Aquinas Hobor

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Barriers in Concurrent Separation Logic.

Aquinas Hobor, Cristian Gherghina

Proceedings of the Programming Languages and Systems, 2011

Teaching Experience: Logic and Formal Methods with Coq.

Martin Henz, Aquinas Hobor

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

A theory of indirection via approximation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

A Theory of Termination via Indirection.

Robert Dockins, Aquinas Hobor

Proceedings of the Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010, 2010

A Logical Mix of Approximation and Separation.

Aquinas Hobor, Robert Dockins, Andrew W. Appel

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

A Fresh Look at Separation Algebras and Share Accounting.

Robert Dockins, Aquinas Hobor, Andrew W. Appel

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Multimodal Separation Logic for Reasoning About Operational Semantics.

Robert Dockins, Andrew W. Appel, Aquinas Hobor

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Oracle Semantics for Concurrent Separation Logic.

Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli

Proceedings of the Programming Languages and Systems, 2008