Search for "Linus" returned 2786 results
32 min
Verified Firewall Ruleset Verification
Math, Functional Programming, Theorem Proving, and an…
64 min
Who can you trust?
A trust metric for the openSUSE buildservice
34 min
(open)SUSE Product security
a short overview
32 min