The latest SHA3 was determined in a competition amongst private sector contestants, won by Keccak. Schneier himself put up a candidate - Skein.
Edit: Then there's TrustedBSD (as opposed to SELinux)
Edit: Then there's TrustedBSD (as opposed to SELinux)