USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Anish Athalye [Clear All Filters]
.
2022. Verifying Hardware Security Modules with Information-Preserving Refinement. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :503--519.