Articles avec mandats d'accès public - Aquinas HoborEn savoir plus
Disponibles quelque part : 5
A concurrent perspective on smart contracts
I Sergey, A Hobor
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
Exigences : UK Engineering and Physical Sciences Research Council
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
Exigences : US National Science Foundation
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
Exigences : US National Science Foundation
Verifying concurrent graph algorithms
A Raad, A Hobor, J Villard, P Gardner
Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016
Exigences : UK Engineering and Physical Sciences Research Council
Complexity Analysis of Tree Share Structure
XB Le, A Hobor, AW Lin
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
Exigences : European Commission
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique