{
  "authors": [
    "Baris Erdem"
  ],
  "description": "SPARK-proved HMAC (RFC 2104) implementation for Ada/SPARK",
  "licenses": "Apache-2.0",
  "long-description": "SPARK-proved HMAC (RFC 2104) with standalone SHA-256 (FIPS 180-4) for Ada 2022.\n174 proof obligations fully discharged at Level 2 with zero pragma Assume.\nConstant-time digest comparison, secure wipe of key material, no heap\nallocation, pragma Pure. Suitable for embedded and safety-critical systems.\nIncludes streaming and one-shot APIs, plus a generic HMAC package for other\nhash functions.\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "hmac_ada",
  "origin": {
    "commit": "fa03673fd91b3e8a155ae321d03ca1f0bc839540",
    "url": "git+https://github.com/b-erdem/hmac_ada.git"
  },
  "tags": [
    "hmac",
    "rfc2104",
    "cryptography",
    "spark",
    "embedded",
    "security"
  ],
  "version": "0.1.0",
  "website": "https://github.com/b-erdem/hmac_ada"
}