Skip to content

Commit

Permalink
sha2: fix copyright notices, spacing, on deps #122
Browse files Browse the repository at this point in the history
  • Loading branch information
marsella committed Jan 23, 2025
1 parent 6dfaebc commit 78a6cb5
Showing 3 changed files with 21 additions and 13 deletions.
24 changes: 12 additions & 12 deletions Primitive/Asymmetric/Signature/RSA_PSS.cry
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
/*
Copyright (c) 2021, Galois Inc.
www.cryptol.net
*/

/* This module implements an RSA signature scheme
with the EMSA-PSS encoding method described in 9.1 of

PKCS #1: RSA Cryptography Specifications Version 2.2

See also:
https://tools.ietf.org/html/rfc8017
*/
* @copyright Galois Inc. 2021
* @author Andrei Stefanescu
* www.cryptol.net
*
* This module implements an RSA signature scheme
* with the EMSA-PSS encoding method described in 9.1 of
*
* PKCS #1: RSA Cryptography Specifications Version 2.2
*
* See also:
* https://tools.ietf.org/html/rfc8017
*/
module Primitive::Asymmetric::Signature::RSA_PSS where

import Common::utils
4 changes: 4 additions & 0 deletions Primitive/Symmetric/KDF/HKDF.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
<!---
- @copyright Galois, Inc.
- @author Aaron Tomb
--->
# HMAC-based Extract-and-Expand Key Derivation Function (HKDF)

## Welcome
6 changes: 5 additions & 1 deletion Primitive/Symmetric/KDF/HKDF256.cry
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
/**
* @copyright Galois, Inc
* @author Aaron Tomb
*/
module Primitive::Symmetric::KDF::HKDF256 = Primitive::Symmetric::KDF::HKDF where

import Primitive::Symmetric::MAC::HMAC
@@ -8,4 +12,4 @@ HMAC = hmacBytes
hmacBytes : {n, m} (64 >= width (8 * (64 + m)),
64 > width (8 * n), 32 >= width m, fin m, fin n) =>
[n][8] -> [m][8] -> [32][8]
hmacBytes key msg = split (hmacSHA256 key msg)
hmacBytes key msg = split (hmacSHA256 key msg)

0 comments on commit 78a6cb5

Please sign in to comment.