A secure and high performances microkernel for building secure MCU-based IoTs
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
An attempt at a minimalistic and secure operating system.
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
ada privilege escalation
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library
Utility programs for the encryption algorithms included in the PragmAda Reusable Components
- ada
- threefish
- xor
- encryption-decryption
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash