Aquinas Hobor

Cited by

	All	Since 2019
Citations	5135	3982
h-index	20	13
i10-index	28	19

760

380

190

570

2008200920102011201220132014201520162017201820192020202120222023202421 17 48 55 73 49 77 93 72 199 414 645 747 707 670 720 493

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Prateek SaxenaNational University of SingaporeVerified email at comp.nus.edu.sg
Andrew W. AppelProfessor of Computer Science, Princeton UniversityVerified email at princeton.edu
Ilya SergeyAssociate Professor, National University of SingaporeVerified email at nus.edu.sg
Loi LuuCofounder at Kyber NetworkVerified email at kyber.network
Cristian GherghinaGoogleVerified email at gherghina.xyz
Duc Hiep ChuSoftware Engineer, Google LLC.Verified email at google.com
Hrishi OlickelYale-NUS CollegeVerified email at u.yale-nus.edu.sg
Ivica NikolićNational University of SingaporeVerified email at nus.edu.sg
Aashish KolluriPhD student NUSVerified email at u.nus.edu
Shengyi WangPrinceton UniversityVerified email at princeton.edu
Wei Ngan ChinNational University of SingaporeVerified email at comp.nus.edu.sg
Xuan-Bach LeNanyang Technological UniversityVerified email at ntu.edu.sg
Francesco Zappa NardelliFacebookVerified email at fb.com
Amrit KumarResearch Fellow, National University of SingaporeVerified email at inria.fr
Jules VillardImperial College LondonVerified email at imperial.ac.uk
Ratul SahaDoctoral student, School of Computing, National University of SingaporeVerified email at comp.nus.edu.sg
Inian ParameshwaranNational University of SingaporeVerified email at nus.edu.sg
Ton Chanh LeSenior Smart Contract Researcher, AlgorandVerified email at algorand.com
Anshuman MohanPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Shweta ShindeETH ZurichVerified email at inf.ethz.ch

Aquinas Hobor

Associate Professor, University College London

Verified email at ucl.ac.uk - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Making smart contracts smarter L Luu, DH Chu, H Olickel, P Saxena, A Hobor Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016	2588	2016
Finding the greedy, prodigal, and suicidal contracts at scale I Nikolić, A Kolluri, I Sergey, P Saxena, A Hobor Proceedings of the 34th annual computer security applications conference …, 2018	734	2018
Program logics for certified compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	272	2014
On power splitting games in distributed computation: The case of bitcoin pooled mining L Luu, R Saha, I Parameshwaran, P Saxena, A Hobor 2015 IEEE 28th Computer Security Foundations Symposium, 397-411, 2015	201	2015
Oracle semantics for concurrent separation logic A Hobor, A Appel, F Zappa Nardelli Programming Languages and Systems, 353-367, 2008	198	2008
A fresh look at separation algebras and share accounting R Dockins, A Hobor, AW Appel Asian Symposium on Programming Languages And Systems, 161-177, 2009	159	2009
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	158	2017
Exploiting the laws of order in smart contracts A Kolluri, I Nikolic, I Sergey, A Hobor, P Saxena Proceedings of the 28th ACM SIGSOFT international symposium on software …, 2019	129	2019
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	123	2018
The ramifications of sharing in data structures A Hobor, J Villard Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013	91	2013
A theory of indirection via approximation A Hobor, R Dockins, AW Appel ACM Sigplan Notices 45 (1), 171-184, 2010	50	2010
Oracle semantics A Hobor Princeton University, 2008	44	2008
Temporal properties of smart contracts I Sergey, A Kumar, A Hobor Leveraging Applications of Formal Methods, Verification and Validation …, 2018	39	2018
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena 29th USENIX Security Symposium (USENIX Security 20), 523-540, 2020	38*	2020
Barriers in concurrent separation logic A Hobor, C Gherghina European Symposium on Programming, 276-296, 2011	36	2011
Barriers in concurrent separation logic: Now with tool support! A Hobor, C Gherghina Logical Methods in Computer Science 8 (Selected Papers of ESOP 2011), 1-36, 2012	29	2012
Certifying graph-manipulating C programs via localizations within data structures S Wang, Q Cao, A Mohan, A Hobor Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019	25	2019
A resource-based logic for termination and non-termination proofs TC Le, C Gherghina, A Hobor, WN Chin Formal Methods and Software Engineering: 16th International Conference on …, 2014	21	2014
Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Programming Languages and Systems, 368, 2012	20	2012
Multimodal separation logic for reasoning about operational semantics R Dockins, AW Appel, A Hobor Electronic Notes in Theoretical Computer Science 218, 5-20, 2008	20	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors