Open source disk encryption with strong security for the Paranoid
Secure chat and conferencing protocol
Hypervisor R&D for recent x86 with support for DRTM + 2D paging
Lightweight Linux distro for penetration testing
PMCMA - Post Memory Corruption Memory Analysis