Archive for the ‘computer security’ Category

Taking back “trusted computing”

Posted by: jinsei on April 22, 2006

Why verified code matters

Posted by: jinsei on April 4, 2006