Verified Executables for NetBSD

Verified Executables for NetBSD
All Links

Share this:

Details of Verified Executables for NetBSD

About Verified Executables for NetBSD
Verified Executables for NetBSD- Paper by Brett Lymn describing his implementation of a "kernel-level tripwire" for NetBSD.
Hardware