USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Mohit Kumar Jangid [Clear All Filters]
.
2021. Towards Formal Verification of State Continuity for Enclave Programs. 30th USENIX Security Symposium (USENIX Security 21). :573--590.