discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
An Analysis of Conficker (2009)
http://www.csl.sri.com/users/vinod/papers/Conficker/
2 comments
30/1/2023
Lobsters
Design and Verification of Secure Systems (1981)
http://www.csl.sri.com/users/rushby/abstracts/sosp81
2 comments
6/1/2019
distributed , historical , osdev , security