Open source disk encryption with strong security for the Paranoid
AVR based smartcard/token with ECC and RSA cryptography
RTOS for Secure, Safe and Real-Time Systems
Classic & Modern Cryptography tools
Secure Striker Manager
Secure chat and conferencing protocol
Hypervisor R&D for recent x86 with support for DRTM + 2D paging
Low-cost, ISO 14443 compliant emulator for contactless smartcards