Raaz.Cipher.AES

The AES block cipher.

Documentation

data AES (n :: Nat) (mode :: CipherMode)

The type associated with AES ciphers. Raaz provides AES variants with key lengths 128, 192 and 256. The key types for the above ciphers in cbc mode are given by the types (KEY128, IV), (KEY192, IV) (KEY256, IV) respectively.

Instances

Describable (AES 128 'CBC)

Defined in Raaz.Cipher.AES.Internal

Methods

name :: AES 128 'CBC -> String

description :: AES 128 'CBC -> String

Describable (AES 192 'CBC)

Defined in Raaz.Cipher.AES.Internal

Methods

name :: AES 192 'CBC -> String

description :: AES 192 'CBC -> String

Describable (AES 256 'CBC)

Defined in Raaz.Cipher.AES.Internal

Methods

name :: AES 256 'CBC -> String

description :: AES 256 'CBC -> String

Recommendation (AES 128 'CBC)

Recommended implementation of AES-128 cbc

Defined in Raaz.Cipher.AES.Recommendation

Methods

recommended :: AES 128 'CBC -> Implementation (AES 128 'CBC)

Recommendation (AES 192 'CBC)

Recommended implementation of AES-192 cbc

Defined in Raaz.Cipher.AES.Recommendation

Methods

recommended :: AES 192 'CBC -> Implementation (AES 192 'CBC)

Recommendation (AES 256 'CBC)

Recommended implementation of AES-256 cbc

Defined in Raaz.Cipher.AES.Recommendation

Methods

recommended :: AES 256 'CBC -> Implementation (AES 256 'CBC)

Primitive (AES 128 'CBC)

The 128-bit aes cipher in cbc mode.

Defined in Raaz.Cipher.AES.Internal

Associated Types

type Implementation (AES 128 'CBC)

Methods

blockSize :: AES 128 'CBC -> BYTES Int

Primitive (AES 192 'CBC)

The 192-bit aes cipher in cbc mode.

Defined in Raaz.Cipher.AES.Internal

Associated Types

type Implementation (AES 192 'CBC)

Methods

blockSize :: AES 192 'CBC -> BYTES Int

Primitive (AES 256 'CBC)

The 256-bit aes cipher in cbc mode.

Defined in Raaz.Cipher.AES.Internal

Associated Types

type Implementation (AES 256 'CBC)

Methods

blockSize :: AES 256 'CBC -> BYTES Int

Cipher (AES 128 'CBC)

Defined in Raaz.Cipher.AES.Internal

Cipher (AES 192 'CBC)

Defined in Raaz.Cipher.AES.Internal

Cipher (AES 256 'CBC)

Defined in Raaz.Cipher.AES.Internal

type Key (AES 128 'CBC)

Key is (KEY128,IV) pair.

Defined in Raaz.Cipher.AES.Internal

type Key (AES 128 'CBC) = (KEY128, IV)

type Key (AES 192 'CBC)

Key is (KEY192,IV) pair.

Defined in Raaz.Cipher.AES.Internal

type Key (AES 192 'CBC) = (KEY192, IV)

type Key (AES 256 'CBC)

Key is (KEY256,IV) pair.

Defined in Raaz.Cipher.AES.Internal

type Key (AES 256 'CBC) = (KEY256, IV)

type Implementation (AES 128 'CBC)

Defined in Raaz.Cipher.AES.Internal

type Implementation (AES 128 'CBC) = SomeCipherI (AES 128 'CBC)

type Implementation (AES 192 'CBC)

Defined in Raaz.Cipher.AES.Internal

type Implementation (AES 192 'CBC) = SomeCipherI (AES 192 'CBC)

type Implementation (AES 256 'CBC)

Defined in Raaz.Cipher.AES.Internal

type Implementation (AES 256 'CBC) = SomeCipherI (AES 256 'CBC)

data KEY128

Key used for AES-128

Instances

Show KEY128

Shows in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

showsPrec :: Int -> KEY128 -> ShowS

show :: KEY128 -> String

showList :: [KEY128] -> ShowS

IsString KEY128

Expects in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

fromString :: String -> KEY128

Storable KEY128

Defined in Raaz.Cipher.AES.Internal

Methods

sizeOf :: KEY128 -> Int

alignment :: KEY128 -> Int

peekElemOff :: Ptr KEY128 -> Int -> IO KEY128

pokeElemOff :: Ptr KEY128 -> Int -> KEY128 -> IO ()

peekByteOff :: Ptr b -> Int -> IO KEY128

pokeByteOff :: Ptr b -> Int -> KEY128 -> IO ()

peek :: Ptr KEY128 -> IO KEY128

poke :: Ptr KEY128 -> KEY128 -> IO ()

EndianStore KEY128

Defined in Raaz.Cipher.AES.Internal

Methods

store :: Ptr KEY128 -> KEY128 -> IO ()

load :: Ptr KEY128 -> IO KEY128

adjustEndian :: Ptr KEY128 -> Int -> IO ()

Encodable KEY128

Defined in Raaz.Cipher.AES.Internal

Methods

toByteString :: KEY128 -> ByteString

fromByteString :: ByteString -> Maybe KEY128

unsafeFromByteString :: ByteString -> KEY128

RandomStorable KEY128

Defined in Raaz.Cipher.AES.Internal

Methods

fillRandomElements :: Memory mem => Int -> Ptr KEY128 -> RT mem ()

data KEY192

Key used for AES-128

Instances

Show KEY192

Shows in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

showsPrec :: Int -> KEY192 -> ShowS

show :: KEY192 -> String

showList :: [KEY192] -> ShowS

IsString KEY192

Expects in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

fromString :: String -> KEY192

Storable KEY192

Defined in Raaz.Cipher.AES.Internal

Methods

sizeOf :: KEY192 -> Int

alignment :: KEY192 -> Int

peekElemOff :: Ptr KEY192 -> Int -> IO KEY192

pokeElemOff :: Ptr KEY192 -> Int -> KEY192 -> IO ()

peekByteOff :: Ptr b -> Int -> IO KEY192

pokeByteOff :: Ptr b -> Int -> KEY192 -> IO ()

peek :: Ptr KEY192 -> IO KEY192

poke :: Ptr KEY192 -> KEY192 -> IO ()

EndianStore KEY192

Defined in Raaz.Cipher.AES.Internal

Methods

store :: Ptr KEY192 -> KEY192 -> IO ()

load :: Ptr KEY192 -> IO KEY192

adjustEndian :: Ptr KEY192 -> Int -> IO ()

Encodable KEY192

Defined in Raaz.Cipher.AES.Internal

Methods

toByteString :: KEY192 -> ByteString

fromByteString :: ByteString -> Maybe KEY192

unsafeFromByteString :: ByteString -> KEY192

RandomStorable KEY192

Defined in Raaz.Cipher.AES.Internal

Methods

fillRandomElements :: Memory mem => Int -> Ptr KEY192 -> RT mem ()

data KEY256

Key used for AES-128

Instances

Show KEY256

Shows in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

showsPrec :: Int -> KEY256 -> ShowS

show :: KEY256 -> String

showList :: [KEY256] -> ShowS

IsString KEY256

Expects in base 16

Defined in Raaz.Cipher.AES.Internal

Methods

fromString :: String -> KEY256

Storable KEY256

Defined in Raaz.Cipher.AES.Internal

Methods

sizeOf :: KEY256 -> Int

alignment :: KEY256 -> Int

peekElemOff :: Ptr KEY256 -> Int -> IO KEY256

pokeElemOff :: Ptr KEY256 -> Int -> KEY256 -> IO ()

peekByteOff :: Ptr b -> Int -> IO KEY256

pokeByteOff :: Ptr b -> Int -> KEY256 -> IO ()

peek :: Ptr KEY256 -> IO KEY256

poke :: Ptr KEY256 -> KEY256 -> IO ()

EndianStore KEY256

Defined in Raaz.Cipher.AES.Internal

Methods

store :: Ptr KEY256 -> KEY256 -> IO ()

load :: Ptr KEY256 -> IO KEY256

adjustEndian :: Ptr KEY256 -> Int -> IO ()

Encodable KEY256

Defined in Raaz.Cipher.AES.Internal

Methods

toByteString :: KEY256 -> ByteString

fromByteString :: ByteString -> Maybe KEY256

unsafeFromByteString :: ByteString -> KEY256

RandomStorable KEY256

Defined in Raaz.Cipher.AES.Internal

Methods

fillRandomElements :: Memory mem => Int -> Ptr KEY256 -> RT mem ()

data IV

The IV used by the CBC mode.

Instances

Show IV

Shown as a its base16 encoding.

Defined in Raaz.Cipher.AES.Internal

Methods

showsPrec :: Int -> IV -> ShowS

show :: IV -> String

showList :: [IV] -> ShowS

IsString IV

Expects in base16.

Defined in Raaz.Cipher.AES.Internal

Methods

fromString :: String -> IV

Storable IV

Defined in Raaz.Cipher.AES.Internal

Methods

sizeOf :: IV -> Int

alignment :: IV -> Int

peekElemOff :: Ptr IV -> Int -> IO IV

pokeElemOff :: Ptr IV -> Int -> IV -> IO ()

peekByteOff :: Ptr b -> Int -> IO IV

pokeByteOff :: Ptr b -> Int -> IV -> IO ()

peek :: Ptr IV -> IO IV

poke :: Ptr IV -> IV -> IO ()

EndianStore IV

Defined in Raaz.Cipher.AES.Internal

Methods

store :: Ptr IV -> IV -> IO ()

load :: Ptr IV -> IO IV

adjustEndian :: Ptr IV -> Int -> IO ()

Encodable IV

Defined in Raaz.Cipher.AES.Internal

Methods

toByteString :: IV -> ByteString

fromByteString :: ByteString -> Maybe IV

unsafeFromByteString :: ByteString -> IV

RandomStorable IV

Defined in Raaz.Cipher.AES.Internal

Methods

fillRandomElements :: Memory mem => Int -> Ptr IV -> RT mem ()

Some AES cipher modes.

aes128cbc :: AES 128 'CBC

128-bit aes cipher in CBC mode.

aes192cbc :: AES 192 'CBC

128-bit aes cipher in CBC mode.

aes256cbc :: AES 256 'CBC

128-bit aes cipher in CBC mode.

aes128ctr :: AES 128 'CTR

Smart constructors for AES 128 ctr.