Aquinas Hobor

Cited by

	All	Since 2020
Citations	5442	3633
h-index	20	14
i10-index	29	16

740

370

185

555

20082009201020112012201320142015201620172018201920202021202220232024202522 17 48 55 73 49 77 93 71 197 412 660 740 706 666 705 684 132

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
Duc Hiep ChuSoftware Engineer, Google Research.Verified email at google.com
Hrishi OlickelYale-NUS CollegeVerified email at u.yale-nus.edu.sg
Cristian GherghinaGoogleVerified email at gherghina.xyz
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	2776	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	785	2018
Program logics for certified compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	276	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	205	2015
Oracle semantics for concurrent separation logic A Hobor, A Appel, F Zappa Nardelli Programming Languages and Systems, 353-367, 2008	199	2008
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	165	2017
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	165	2009
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	143	2019
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	124	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	94	2013
A theory of indirection via approximation A Hobor, R Dockins, AW Appel ACM Sigplan Notices 45 (1), 171-184, 2010	51	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	41	2018
Barriers in concurrent separation logic A Hobor, C Gherghina European Symposium on Programming, 276-296, 2011	38	2011
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	36*	2020
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	30	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	27	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	21	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