USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Aquinas Hobor [Clear All Filters]
Smart Learning to Find Dumb Contracts. 32nd USENIX Security Symposium (USENIX Security 23). :1775--1792.
.
2023. BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof. 29th USENIX Security Symposium (USENIX Security 20). :523--540.
.
2020.