License	BSD-style
Maintainer	Vincent Hanquez <vincent@snarc.org>
Stability	Stable
Portability	Excellent
Safe Haskell	None
Language	Haskell98

Crypto.Cipher.Tests

Contents

KATs

Description

Synopsis

Documentation

testBlockCipher :: BlockCipher a => KATs -> a -> Test #

Return tests for a specific blockcipher and a list of KATs

testBlockCipherIO :: BlockCipherIO a => KATs -> a -> Test #

Return test for a specific blockcipher and a list of KATs

testStreamCipher :: StreamCipher a => [KAT_Stream] -> a -> Test #

Return tests for a specific streamcipher and a list of KATs

KATs

defaultKATs :: KATs #

the empty KATs

defaultStreamKATs :: [KAT_Stream] #

the empty KATs for stream

data KATs #

all the KATs. use defaultKATs to prevent compilation error from future expansion of this data structure

Constructors

KATs
Fields kat_ECB :: [KAT_ECB] kat_CBC :: [KAT_CBC] kat_CFB :: [KAT_CFB] kat_CTR :: [KAT_CTR] kat_XTS :: [KAT_XTS] kat_AEAD :: [KAT_AEAD]

Instances

Eq KATs #
Methods (==) :: KATs -> KATs -> Bool # (/=) :: KATs -> KATs -> Bool #
Show KATs #
Methods showsPrec :: Int -> KATs -> ShowS # show :: KATs -> String # showList :: [KATs] -> ShowS #

data KAT_Stream #

KAT for Stream cipher

Constructors

KAT_Stream
Fields streamKey :: ByteString streamPlaintext :: ByteString streamCiphertext :: ByteString

Instances

Eq KAT_Stream #
Methods (==) :: KAT_Stream -> KAT_Stream -> Bool # (/=) :: KAT_Stream -> KAT_Stream -> Bool #
Show KAT_Stream #
Methods showsPrec :: Int -> KAT_Stream -> ShowS # show :: KAT_Stream -> String # showList :: [KAT_Stream] -> ShowS #

data KAT_ECB #

ECB KAT

Constructors

KAT_ECB
Fields ecbKey :: ByteString Key ecbPlaintext :: ByteString Plaintext ecbCiphertext :: ByteString Ciphertext

Instances

Eq KAT_ECB #
Methods (==) :: KAT_ECB -> KAT_ECB -> Bool # (/=) :: KAT_ECB -> KAT_ECB -> Bool #
Show KAT_ECB #
Methods showsPrec :: Int -> KAT_ECB -> ShowS # show :: KAT_ECB -> String # showList :: [KAT_ECB] -> ShowS #

data KAT_CBC #

CBC KAT

Constructors

KAT_CBC
Fields cbcKey :: ByteString Key cbcIV :: ByteString IV cbcPlaintext :: ByteString Plaintext cbcCiphertext :: ByteString Ciphertext

Instances

Eq KAT_CBC #
Methods (==) :: KAT_CBC -> KAT_CBC -> Bool # (/=) :: KAT_CBC -> KAT_CBC -> Bool #
Show KAT_CBC #
Methods showsPrec :: Int -> KAT_CBC -> ShowS # show :: KAT_CBC -> String # showList :: [KAT_CBC] -> ShowS #

data KAT_CFB #

CFB KAT

Constructors

KAT_CFB
Fields cfbKey :: ByteString Key cfbIV :: ByteString IV cfbPlaintext :: ByteString Plaintext cfbCiphertext :: ByteString Ciphertext

Instances

Eq KAT_CFB #
Methods (==) :: KAT_CFB -> KAT_CFB -> Bool # (/=) :: KAT_CFB -> KAT_CFB -> Bool #
Show KAT_CFB #
Methods showsPrec :: Int -> KAT_CFB -> ShowS # show :: KAT_CFB -> String # showList :: [KAT_CFB] -> ShowS #

data KAT_CTR #

CTR KAT

Constructors

KAT_CTR
Fields ctrKey :: ByteString Key ctrIV :: ByteString IV (usually represented as a 128 bits integer) ctrPlaintext :: ByteString Plaintext ctrCiphertext :: ByteString Ciphertext

Instances

Eq KAT_CTR #
Methods (==) :: KAT_CTR -> KAT_CTR -> Bool # (/=) :: KAT_CTR -> KAT_CTR -> Bool #
Show KAT_CTR #
Methods showsPrec :: Int -> KAT_CTR -> ShowS # show :: KAT_CTR -> String # showList :: [KAT_CTR] -> ShowS #

data KAT_XTS #

XTS KAT

Constructors

KAT_XTS
Fields xtsKey1 :: ByteString 1st XTS key xtsKey2 :: ByteString 2nd XTS key xtsIV :: ByteString XTS IV xtsPlaintext :: ByteString plaintext xtsCiphertext :: ByteString Ciphertext

Instances

Eq KAT_XTS #
Methods (==) :: KAT_XTS -> KAT_XTS -> Bool # (/=) :: KAT_XTS -> KAT_XTS -> Bool #
Show KAT_XTS #
Methods showsPrec :: Int -> KAT_XTS -> ShowS # show :: KAT_XTS -> String # showList :: [KAT_XTS] -> ShowS #

data KAT_AEAD #

AEAD KAT

Constructors

KAT_AEAD
Fields aeadMode :: AEADMode AEAD mode to use aeadKey :: ByteString Key aeadIV :: ByteString IV for initialization aeadHeader :: ByteString Authentificated Header aeadPlaintext :: ByteString Plaintext aeadCiphertext :: ByteString Ciphertext aeadTaglen :: Int aead tag len aeadTag :: AuthTag expected tag

Instances

Eq KAT_AEAD #
Methods (==) :: KAT_AEAD -> KAT_AEAD -> Bool # (/=) :: KAT_AEAD -> KAT_AEAD -> Bool #
Show KAT_AEAD #
Methods showsPrec :: Int -> KAT_AEAD -> ShowS # show :: KAT_AEAD -> String # showList :: [KAT_AEAD] -> ShowS #