Aquinas Hobor

Citado por

	Total	Desde 2017
Citas	3397	2858
Índice h	18	14
Índice i10	24	18

740

370

185

555

20082009201020112012201320142015201620172018201920202021202222 18 49 53 79 47 71 97 74 197 416 663 729 678 172

Acceso público

Ver todo

6 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Prateek SaxenaNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Andrew W. AppelProfessor of Computer Science, Princeton UniversityDirección de correo verificada de princeton.edu
Ilya SergeyAssociate Professor, National University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Loi LuuCofounder at Kyber NetworkDirección de correo verificada de kyber.network
Cristian GherghinaGoogleDirección de correo verificada de google.com
Hrishi OlickelYale-NUS CollegeDirección de correo verificada de u.yale-nus.edu.sg
Ivica NikolićNational University of SingaporeDirección de correo verificada de nus.edu.sg
Aashish KolluriPhD student NUSDirección de correo verificada de u.nus.edu
Wei Ngan ChinNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Xuan-Bach LeNanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Shengyi WangPhD candidate in NUSDirección de correo verificada de comp.nus.edu.sg
Francesco Zappa NardelliFacebookDirección de correo verificada de fb.com
Amrit KumarResearch Fellow, National University of SingaporeDirección de correo verificada de inria.fr
Xavier LeroyCollège de FranceDirección de correo verificada de college-de-france.fr
Jules VillardImperial College LondonDirección de correo verificada de imperial.ac.uk
Ton Chanh LeStevens Institute of TechnologyDirección de correo verificada de stevens.edu
Ratul SahaDoctoral student, School of Computing, National University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Inian ParameshwaranNational University of SingaporeDirección de correo verificada de nus.edu.sg
Anshuman MohanPhD Student, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Martin HenzNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg

Seguir

Aquinas Hobor

Associate Professor, University College London

Dirección de correo verificada de ucl.ac.uk - Página principal

Programming Languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1581	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	413	2018
Program logics for certified compilers AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ... Cambridge University Press, 2014	206	2014
Oracle semantics for concurrent separation logic A Hobor, A Appel, F Zappa Nardelli Programming Languages and Systems, 353-367, 2008	182	2008
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	156	2015
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	145	2009
A concurrent perspective on smart contracts I Sergey, A Hobor International Conference on Financial Cryptography and Data Security, 478-493, 2017	111	2017
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	95	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	72	2013
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	66	2019
A theory of indirection via approximation A Hobor, R Dockins, AW Appel ACM Sigplan Notices 45 (1), 171-184, 2010	47	2010
Oracle semantics A Hobor Princeton University, 2008	42	2008
Barriers in concurrent separation logic A Hobor, C Gherghina European Symposium on Programming, 276-296, 2011	35	2011
Temporal properties of smart contracts I Sergey, A Kumar, A Hobor International Symposium on Leveraging Applications of Formal Methods, 323-338, 2018	28	2018
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	27	2012
Decision procedures over sophisticated fractional permissions XB Le, C Gherghina, A Hobor Programming Languages and Systems, 368, 2012	20	2012
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	19*	2020
A resource-based logic for termination and non-termination proofs TC Le, C Gherghina, A Hobor, WN Chin International Conference on Formal Engineering Methods, 267-283, 2014	18*	2014
Multimodal separation logic for reasoning about operational semantics R Dockins, AW Appel, A Hobor Electronic Notes in Theoretical Computer Science 218, 5-20, 2008	16	2008
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	15	2019

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores