A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Ada Binding for the libsecret library
- libsecret
- binding
- keyring
- kwallet