Biblio

Export 2 results:
Filters: Author is Aquinas Hobor  [Clear All Filters]
2023
Abdelaziz T, Hobor A.  2023.  Smart Learning to Find Dumb Contracts. 32nd USENIX Security Symposium (USENIX Security 23). :1775--1792.
2020
Shinde S, Wang S, Yuan P, Hobor A, Roychoudhury A, Saxena P.  2020.  BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. 29th USENIX Security Symposium (USENIX Security 20). :523--540.