1
1

Add IND-CPA/IND-CCA2 security field to METADATA. add test for it as well (#165)

Este cometimento está contido em:
Matthias J. Kannwischer 2019-05-13 17:20:33 +02:00 cometido por Douglas Stebila
ascendente ba04db65d7
cometimento 0127ba93f5
15 ficheiros modificados com 19 adições e 0 eliminações

Ver ficheiro

@ -25,6 +25,7 @@ See the section [API](#API) below.
name: Name
type: <kem|signature>
claimed-nist-level: <N>
claimed-security: IND-CPA/IND-CCA2 # KEM only
length-public-key: <N> # KEM and signature
length-secret-key: <N> # KEM and signature
length-ciphertext: <N> # KEM only

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-1344-AES
type: kem
claimed-nist-level: 5
claimed-security: IND-CCA2
length-public-key: 21520
length-secret-key: 43088
length-ciphertext: 21632

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-1344-SHAKE
type: kem
claimed-nist-level: 5
claimed-security: IND-CCA2
length-public-key: 21520
length-secret-key: 43088
length-ciphertext: 21632

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-640-AES
type: kem
claimed-nist-level: 1
claimed-security: IND-CCA2
length-public-key: 9616
length-secret-key: 19888
length-ciphertext: 9720

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-640-SHAKE
type: kem
claimed-nist-level: 1
claimed-security: IND-CCA2
length-public-key: 9616
length-secret-key: 19888
length-ciphertext: 9720

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-976-AES
type: kem
claimed-nist-level: 3
claimed-security: IND-CCA2
length-public-key: 15632
length-secret-key: 31296
length-ciphertext: 15744

Ver ficheiro

@ -1,6 +1,7 @@
name: FrodoKEM-976-SHAKE
type: kem
claimed-nist-level: 3
claimed-security: IND-CCA2
length-public-key: 15632
length-secret-key: 31296
length-ciphertext: 15744

Ver ficheiro

@ -1,6 +1,7 @@
name: Kyber1024
type: kem
claimed-nist-level: 5
claimed-security: IND-CCA2
length-public-key: 1568
length-ciphertext: 1568
length-secret-key: 3168

Ver ficheiro

@ -1,6 +1,7 @@
name: Kyber512
type: kem
claimed-nist-level: 1
claimed-security: IND-CCA2
length-public-key: 800
length-ciphertext: 736
length-secret-key: 1632

Ver ficheiro

@ -1,6 +1,7 @@
name: Kyber768
type: kem
claimed-nist-level: 3
claimed-security: IND-CCA2
length-public-key: 1184
length-ciphertext: 1088
length-secret-key: 2400

Ver ficheiro

@ -1,6 +1,7 @@
name: ntru-hps2048509
type: kem
claimed-nist-level: 1
claimed-security: IND-CCA2
length-public-key: 699
length-secret-key: 935
length-ciphertext: 699

Ver ficheiro

@ -1,6 +1,7 @@
name: ntru-hps2048677
type: kem
claimed-nist-level: 3
claimed-security: IND-CCA2
length-public-key: 930
length-secret-key: 1234
length-ciphertext: 930

Ver ficheiro

@ -1,6 +1,7 @@
name: ntru-hps4096821
type: kem
claimed-nist-level: 5
claimed-security: IND-CCA2
length-public-key: 1230
length-secret-key: 1590
length-ciphertext: 1230

Ver ficheiro

@ -1,6 +1,7 @@
name: ntru-hrss701
type: kem
claimed-nist-level: 3
claimed-security: IND-CCA2
length-public-key: 1138
length-secret-key: 1450
length-ciphertext: 1138

Ver ficheiro

@ -62,6 +62,7 @@ EXPECTED_FIELDS = {
}
KEM_FIELDS = {
'claimed-security' : {'type' : str, 'values' : ['IND-CPA', 'IND-CCA2'] },
'length-ciphertext': {'type': int, 'min': 1},
'length-shared-secret': {'type': int, 'min': 1},
'nistkat-sha256': {'type': str, 'length': 64},
@ -123,6 +124,10 @@ def check_element(field, element, props):
raise ValueError("Value of field '{}' should be length {}"
" but was length {}"
.format(field, props['length'], actual_len))
if 'values' in props and element not in props['values']:
raise ValueError("'{}' should be in {}"
.format(element, props['values']))
if type_ == list: # recursively check the elements
for el in element: