Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Repository Index
79,841 visible repositories in the index
1–3 of 3 · Most stars
An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm
SPARK TOTP library