USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is Peter Lee [Clear All Filters]
What Are We Trying to Prove? On the Relevance of Certified Code to Computer Security 14th USENIX Security Symposium (USENIX Security 05).
.
2005. Language Technology for Performance and Security, or, Making Life Better, Not Just Easier. 2nd Conference on Domain-Specific Languages (DSL 99).
.
1999. Safe Kernel Extensions Without Run-Time Checking. USENIX 2nd Symposium on OS Design and Implementation (OSDI 96).
.
1996.