Theo dõi
Aquinas Hobor
Aquinas Hobor
Associate Professor, University College London
Email được xác minh tại ucl.ac.uk - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
27582016
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
7782018
Program logics for certified compilers
AW Appel, R Dockins, A Hobor, L Beringer, J Dodds, G Stewart, S Blazy, ...
Cambridge University Press, 2014
2762014
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
2042015
Oracle semantics for concurrent separation logic
A Hobor, A Appel, F Zappa Nardelli
Programming Languages and Systems, 353-367, 2008
1992008
A concurrent perspective on smart contracts
I Sergey, A Hobor
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
1652017
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
1642009
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
1402019
Scilla: a smart contract intermediate-level language
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
1242018
The ramifications of sharing in data structures
A Hobor, J Villard
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2013
942013
A theory of indirection via approximation
A Hobor, R Dockins, AW Appel
ACM Sigplan Notices 45 (1), 171-184, 2010
512010
Oracle semantics
A Hobor
Princeton University, 2008
442008
Temporal properties of smart contracts
I Sergey, A Kumar, A Hobor
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
412018
Barriers in concurrent separation logic
A Hobor, C Gherghina
European Symposium on Programming, 276-296, 2011
382011
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
302012
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
272019
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
212014
Decision procedures over sophisticated fractional permissions
XB Le, C Gherghina, A Hobor
Programming Languages and Systems, 368, 2012
212012
Multimodal separation logic for reasoning about operational semantics
R Dockins, AW Appel, A Hobor
Electronic Notes in Theoretical Computer Science 218, 5-20, 2008
202008
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20