{
  "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.\n175 proof obligations fully discharged at Level 2 with zero pragma Assume.\nConstant-time digest comparison (the default `=` operator), secure wipe of\nkey material, no heap allocation, pragma Pure. Suitable for embedded and\nsafety-critical systems. Includes streaming and one-shot APIs, plus a generic\nHMAC package for other hash functions.\n",
  "maintainers": [
    "Baris Erdem <baris@erdem.dev>"
  ],
  "maintainers-logins": [
    "b-erdem"
  ],
  "name": "hmac_ada",
  "origin": {
    "commit": "6cab790417b3672fe821fdd68f6668026c8e26cb",
    "url": "git+https://github.com/b-erdem/hmac_ada.git"
  },
  "tags": [
    "hmac",
    "rfc2104",
    "cryptography",
    "spark",
    "embedded",
    "security"
  ],
  "version": "0.2.0",
  "website": "https://github.com/b-erdem/hmac_ada"
}