USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 1 results:
Filters: Author is Jean Yang [Clear All Filters]
STORM: Refinement Types for Secure Web Applications. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :441--459.
.
2021.