Easy to use cryptographic framework for data protection
Checked C is an extension to C that lets programmers write C code
A library for secure deleting data on-the-fly
Market leading real time kernel for 40+ microcontroller architectures
Ring-Buffer library in C, includes support of multithreading
IoT firmware development framework
Scalable and secure web application framework
JavaScript/XML engine for Apache
Random data generator: secure character streams and large files
Secure eXtended Message Passing library
One-time-pad encryption using a virtual pad
Tools to create and run scripts managing special kind of windows
MVProc implemented as a FastCGI
ARP handler inspection