Kamu erişimi zorunlu olan makaleler - Aquinas HoborDaha fazla bilgi edinin
Bir yerde sunuluyor: 5
A concurrent perspective on smart contracts
I Sergey, A Hobor
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
Zorunlu olanlar: 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
Zorunlu olanlar: 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
Zorunlu olanlar: 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
Zorunlu olanlar: 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
Zorunlu olanlar: European Commission
Yayıncılık ve maddi kaynak bilgileri otomatik olarak bir bilgisayar programı tarafından belirlenmektedir