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