laarcnew | comments | discord | tags | ask | show | place | submitlogin
High-Assurance, Separation Kernels: A Survey on Formal Methods (arxiv.org)
2 points by nickpsecurity to security realengineering osdev pdf 376 days ago | discuss





Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: