crypton-1.0.2: tests/KAT_AES/KATECB.hs
module KAT_AES.KATECB where
import qualified Data.ByteString as B
vectors_aes128_enc =
[
( B.pack
[ 0x10
, 0xa5
, 0x88
, 0x69
, 0xd7
, 0x4b
, 0xe5
, 0xa3
, 0x74
, 0xcf
, 0x86
, 0x7c
, 0xfb
, 0x47
, 0x38
, 0x59
]
, B.replicate 16 0
, B.pack
[ 0x6d
, 0x25
, 0x1e
, 0x69
, 0x44
, 0xb0
, 0x51
, 0xe0
, 0x4e
, 0xaa
, 0x6f
, 0xb4
, 0xdb
, 0xf7
, 0x84
, 0x65
]
)
,
( B.replicate 16 0
, B.replicate 16 0
, B.pack
[ 0x66
, 0xe9
, 0x4b
, 0xd4
, 0xef
, 0x8a
, 0x2c
, 0x3b
, 0x88
, 0x4c
, 0xfa
, 0x59
, 0xca
, 0x34
, 0x2b
, 0x2e
]
)
,
( B.replicate 16 0
, B.replicate 16 1
, B.pack
[ 0xe1
, 0x4d
, 0x5d
, 0x0e
, 0xe2
, 0x77
, 0x15
, 0xdf
, 0x08
, 0xb4
, 0x15
, 0x2b
, 0xa2
, 0x3d
, 0xa8
, 0xe0
]
)
,
( B.replicate 16 1
, B.replicate 16 2
, B.pack
[ 0x17
, 0xd6
, 0x14
, 0xf3
, 0x79
, 0xa9
, 0x35
, 0x90
, 0x77
, 0xe9
, 0x55
, 0x77
, 0xfd
, 0x31
, 0xc2
, 0x0a
]
)
,
( B.replicate 16 2
, B.replicate 16 1
, B.pack
[ 0x8f
, 0x42
, 0xc2
, 0x4b
, 0xee
, 0x6e
, 0x63
, 0x47
, 0x2b
, 0x16
, 0x5a
, 0xa9
, 0x41
, 0x31
, 0x2f
, 0x7c
]
)
,
( B.replicate 16 3
, B.replicate 16 2
, B.pack
[ 0x90
, 0x98
, 0x85
, 0xe4
, 0x77
, 0xbc
, 0x20
, 0xf5
, 0x8a
, 0x66
, 0x97
, 0x1d
, 0xa0
, 0xbc
, 0x75
, 0xe3
]
)
]
vectors_aes192_enc =
[
( B.replicate 24 0
, B.replicate 16 0
, B.pack
[ 0xaa
, 0xe0
, 0x69
, 0x92
, 0xac
, 0xbf
, 0x52
, 0xa3
, 0xe8
, 0xf4
, 0xa9
, 0x6e
, 0xc9
, 0x30
, 0x0b
, 0xd7
]
)
,
( B.replicate 24 0
, B.replicate 16 1
, B.pack
[ 0xcf
, 0x1e
, 0xce
, 0x3c
, 0x44
, 0xb0
, 0x78
, 0xfb
, 0x27
, 0xcb
, 0x0a
, 0x3e
, 0x07
, 0x1b
, 0x08
, 0x20
]
)
,
( B.replicate 24 1
, B.replicate 16 2
, B.pack
[ 0xeb
, 0x8c
, 0x17
, 0x30
, 0x90
, 0xc7
, 0x5b
, 0x77
, 0xd6
, 0x72
, 0xb4
, 0x57
, 0xa7
, 0x78
, 0xd9
, 0xd0
]
)
,
( B.replicate 24 2
, B.replicate 16 1
, B.pack
[ 0xf2
, 0xf0
, 0xae
, 0xd8
, 0xcd
, 0xc9
, 0x21
, 0xca
, 0x4b
, 0x55
, 0x84
, 0x5d
, 0xa4
, 0x15
, 0x21
, 0xc2
]
)
,
( B.replicate 24 3
, B.replicate 16 2
, B.pack
[ 0xca
, 0xcc
, 0x30
, 0x79
, 0xe4
, 0xb7
, 0x95
, 0x27
, 0x63
, 0xd2
, 0x55
, 0xd6
, 0x34
, 0x10
, 0x46
, 0x14
]
)
]
vectors_aes256_enc =
[
( B.replicate 32 0
, B.replicate 16 0
, B.pack
[ 0xdc
, 0x95
, 0xc0
, 0x78
, 0xa2
, 0x40
, 0x89
, 0x89
, 0xad
, 0x48
, 0xa2
, 0x14
, 0x92
, 0x84
, 0x20
, 0x87
]
)
,
( B.replicate 32 0
, B.replicate 16 1
, B.pack
[ 0x7b
, 0xc3
, 0x02
, 0x6c
, 0xd7
, 0x37
, 0x10
, 0x3e
, 0x62
, 0x90
, 0x2b
, 0xcd
, 0x18
, 0xfb
, 0x01
, 0x63
]
)
,
( B.replicate 32 1
, B.replicate 16 2
, B.pack
[ 0x62
, 0xae
, 0x12
, 0xf3
, 0x24
, 0xbf
, 0xea
, 0x08
, 0xd5
, 0xf6
, 0x75
, 0xb5
, 0x13
, 0x02
, 0x6b
, 0xbf
]
)
,
( B.replicate 32 2
, B.replicate 16 1
, B.pack
[ 0x00
, 0xf9
, 0xc7
, 0x44
, 0x4b
, 0xb0
, 0xcc
, 0x80
, 0x6c
, 0x7c
, 0x39
, 0xee
, 0x22
, 0x11
, 0xf1
, 0x46
]
)
,
( B.replicate 32 3
, B.replicate 16 2
, B.pack
[ 0xb4
, 0x05
, 0x87
, 0x3e
, 0xa0
, 0x76
, 0x1b
, 0x9c
, 0xa9
, 0x9f
, 0x70
, 0xb0
, 0x16
, 0x16
, 0xce
, 0xb1
]
)
]
vectors_aes128_dec =
[
( B.replicate 16 0
, B.replicate 16 0
, B.pack
[ 0x14
, 0x0f
, 0x0f
, 0x10
, 0x11
, 0xb5
, 0x22
, 0x3d
, 0x79
, 0x58
, 0x77
, 0x17
, 0xff
, 0xd9
, 0xec
, 0x3a
]
)
,
( B.replicate 16 0
, B.replicate 16 1
, B.pack
[ 0x15
, 0x6d
, 0x0f
, 0x85
, 0x75
, 0xd5
, 0x33
, 0x07
, 0x52
, 0xf8
, 0x4a
, 0xf2
, 0x72
, 0xff
, 0x30
, 0x50
]
)
,
( B.replicate 16 1
, B.replicate 16 2
, B.pack
[ 0x34
, 0x37
, 0xd6
, 0xe2
, 0x31
, 0xd7
, 0x02
, 0x41
, 0x9b
, 0x51
, 0xb4
, 0x94
, 0x72
, 0x71
, 0xb6
, 0x11
]
)
,
( B.replicate 16 2
, B.replicate 16 1
, B.pack
[ 0xe3
, 0xcd
, 0xe2
, 0x37
, 0xc8
, 0xf2
, 0xd9
, 0x7b
, 0x8d
, 0x79
, 0xf9
, 0x17
, 0x1d
, 0x4b
, 0xda
, 0xc1
]
)
,
( B.replicate 16 3
, B.replicate 16 2
, B.pack
[ 0x5b
, 0x94
, 0xaa
, 0xed
, 0xd7
, 0x83
, 0x99
, 0x8c
, 0xd5
, 0x15
, 0x35
, 0x35
, 0x18
, 0xcc
, 0x45
, 0xe2
]
)
]
vectors_aes192_dec =
[
( B.replicate 24 0
, B.replicate 16 0
, B.pack
[ 0x13
, 0x46
, 0x0e
, 0x87
, 0xa8
, 0xfc
, 0x02
, 0x3e
, 0xf2
, 0x50
, 0x1a
, 0xfe
, 0x7f
, 0xf5
, 0x1c
, 0x51
]
)
,
( B.replicate 24 0
, B.replicate 16 1
, B.pack
[ 0x92
, 0x17
, 0x07
, 0xc3
, 0x3d
, 0x1c
, 0xc5
, 0x96
, 0x7d
, 0xa5
, 0x1d
, 0xbb
, 0xb0
, 0x66
, 0xb2
, 0x6c
]
)
,
( B.replicate 24 1
, B.replicate 16 2
, B.pack
[ 0xee
, 0x92
, 0x97
, 0xc6
, 0xba
, 0xe8
, 0x26
, 0x4d
, 0xff
, 0x08
, 0x0e
, 0xbb
, 0x1e
, 0x74
, 0x11
, 0xc1
]
)
,
( B.replicate 24 2
, B.replicate 16 1
, B.pack
[ 0x49
, 0x67
, 0xdf
, 0x70
, 0xd2
, 0x9e
, 0x9a
, 0x7f
, 0x5d
, 0x7c
, 0xb9
, 0xc1
, 0x20
, 0xc3
, 0x8a
, 0x71
]
)
,
( B.replicate 24 3
, B.replicate 16 2
, B.pack
[ 0x74
, 0x38
, 0x62
, 0x42
, 0x6b
, 0x56
, 0x7f
, 0xd5
, 0xf0
, 0x1d
, 0x1b
, 0x59
, 0x56
, 0x01
, 0x26
, 0x29
]
)
]
vectors_aes256_dec =
[
( B.replicate 32 0
, B.replicate 16 0
, B.pack
[ 0x67
, 0x67
, 0x1c
, 0xe1
, 0xfa
, 0x91
, 0xdd
, 0xeb
, 0x0f
, 0x8f
, 0xbb
, 0xb3
, 0x66
, 0xb5
, 0x31
, 0xb4
]
)
,
( B.replicate 32 0
, B.replicate 16 1
, B.pack
[ 0xcc
, 0x09
, 0x21
, 0xa3
, 0xc5
, 0xca
, 0x17
, 0xf7
, 0x48
, 0xb7
, 0xc2
, 0x7b
, 0x73
, 0xba
, 0x87
, 0xa2
]
)
,
( B.replicate 32 1
, B.replicate 16 2
, B.pack
[ 0xc0
, 0x4b
, 0x27
, 0x90
, 0x1a
, 0x50
, 0xcf
, 0xfa
, 0xf1
, 0xbb
, 0x88
, 0x9f
, 0xc0
, 0x92
, 0x5e
, 0x14
]
)
,
( B.replicate 32 2
, B.replicate 16 1
, B.pack
[ 0x24
, 0x61
, 0x53
, 0x5d
, 0x16
, 0x1c
, 0x15
, 0x39
, 0x88
, 0x32
, 0x77
, 0x29
, 0xc5
, 0x8c
, 0xc0
, 0x3a
]
)
,
( B.replicate 32 3
, B.replicate 16 2
, B.pack
[ 0x30
, 0xc9
, 0x1c
, 0xce
, 0xfe
, 0x89
, 0x30
, 0xcf
, 0xff
, 0x31
, 0xdb
, 0xcc
, 0xfc
, 0x11
, 0xc5
, 0x23
]
)
]