Raaz.Core.Memory

The memory subsystem associated with raaz.

Warning: This module is pretty low level and should not be needed in typical use cases. Only developers of protocols and primitives might have a reason to look into this module.

The Memory subsystem.

Cryptographic operations often need to keep sensitive information like private keys in its memory space. Such sensitive information can leak to the external would if the memory where the data is stored is swapped out to a disk. What makes this particularly dangerous is that the data can reside on the disk almost permanently and might even survive when the hardware is scrapped. The primary purpose of the memory subsystem is to provide a way to allocate and manage secure memory, i.e. memory that will not be swapped out as long as the memory is used and will be wiped clean after use. It consists of the following components:

The Memory type class:

A memory element is some type that holds an internal buffer inside it.

The Alloc type:

Memory elements need to be allocated and this is involves a lot of low lever pointer arithmetic. The Alloc types gives a high level interface for memory allocation. For a memory type mem, the type `Alloc mem` can be seen as the _allocation strategy_ for mem. For example, one of the things that it keeps track of is the space required to create an memory element of type mem. There is a natural applicative instance for Alloc which helps build the allocation strategy for a compound memory type from its components in a modular fashion _without_ explicit size calculation or offset computation.

MemoryThreads:

Instances of this class are actions that use some kind of memory elements inside it. Such a thread can be run using the combinator securely or the combinator insecurely. If one use the combinator securely, then the allocation of the memory element to be used by the action is done using a locked memory pool which is wiped clean before de-allocation.

Memory elements.

class Memory m where

Any cryptographic primitives use memory to store stuff. This class abstracts all types that hold some memory. Cryptographic application often requires securing the memory from being swapped out (think of memory used to store private keys or passwords). This abstraction supports memory securing. If your platform supports memory locking, then securing a memory will prevent the memory from being swapped to the disk. Once secured the memory location is overwritten by nonsense before being freed.

While some basic memory elements like MemoryCell are exposed from the library, often we require compound memory objects built out of simpler ones. The Applicative instance of the Alloc can be made use of in such situation to simplify such instance declaration as illustrated in the instance declaration for a pair of memory elements.

instance (Memory ma, Memory mb) => Memory (ma, mb) where

   memoryAlloc             = (,) <$> memoryAlloc <*> memoryAlloc

   unsafeToPointer (ma, _) =  unsafeToPointer ma

Methods

memoryAlloc :: Alloc m

Returns an allocator for this memory.

unsafeToPointer :: m -> Pointer

Returns the pointer to the underlying buffer.

Instances

Memory VoidMemory

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc VoidMemory

unsafeToPointer :: VoidMemory -> Pointer

Storable a => Memory (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc (MemoryCell a)

unsafeToPointer :: MemoryCell a -> Pointer

Storable h => Memory (HashMemory h)

Defined in Raaz.Hash.Internal

Methods

memoryAlloc :: Alloc (HashMemory h)

unsafeToPointer :: HashMemory h -> Pointer

(Memory ma, Memory mb) => Memory (ma, mb)

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc (ma, mb)

unsafeToPointer :: (ma, mb) -> Pointer

(Memory ma, Memory mb, Memory mc) => Memory (ma, mb, mc)

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc (ma, mb, mc)

unsafeToPointer :: (ma, mb, mc) -> Pointer

(Memory ma, Memory mb, Memory mc, Memory md) => Memory (ma, mb, mc, md)

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc (ma, mb, mc, md)

unsafeToPointer :: (ma, mb, mc, md) -> Pointer

data VoidMemory

A memory element that holds nothing.

Instances

Memory VoidMemory

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc VoidMemory

unsafeToPointer :: VoidMemory -> Pointer

copyMemory

Arguments

:: Memory m

=> Dest m

Destination

-> Src m

Source

-> IO ()

Copy data from a given memory location to the other. The first argument is destionation and the second argument is source to match with the convention followed in memcpy.

Initialisation and Extraction.

Memory elements often needs to be initialised. Similarly data needs to be extracted out of memory. An instance declaration Initialisable mem a for the memory type mem indicates that it can be initialised with the pure value a. Similary, if values of type b can be extracted out of a memory element mem, we can indicate it with an instance of Extractable mem a.

There is an inherent danger in initialising and extracting pure values out of memory. Pure values are stored on the Haskell heap and hence can be swapped out. Consider a memory element mem that stores some sensitive information, say for example the unencrypted private key. Suppose we extract this key out of the memory element as a pure value before its encryption and storage into the key file. It is likely that the key is swapped out to the disk as the extracted key is part of the the haskell heap.

The InitialiseFromBuffer (ExtractableToBuffer) class gives an interface for reading from (writing to) buffers directly minimising the chances of inadvertent exposure of sensitive information from the Haskell heap due to swapping.

class Memory m => Initialisable m v where

Memories that can be initialised with a pure value. The pure value resides in the Haskell heap and hence can potentially be swapped. Therefore, this class should be avoided if compromising the initialisation value can be dangerous. Consider using InitialiseableFromBuffer

Methods

initialise :: v -> MT m ()

Instances

Storable a => Initialisable (MemoryCell a) a

Defined in Raaz.Core.Memory

Methods

initialise :: a -> MT (MemoryCell a) ()

Storable h => Initialisable (HashMemory h) h

Defined in Raaz.Hash.Internal

Methods

initialise :: h -> MT (HashMemory h) ()

Initialisable (HashMemory SHA1) ()

Defined in Raaz.Hash.Sha1.Internal

Methods

initialise :: () -> MT (HashMemory SHA1) ()

Initialisable (HashMemory SHA256) ()

Defined in Raaz.Hash.Sha256.Internal

Methods

initialise :: () -> MT (HashMemory SHA256) ()

Initialisable (HashMemory SHA512) ()

Defined in Raaz.Hash.Sha512.Internal

Methods

initialise :: () -> MT (HashMemory SHA512) ()

class Memory m => Extractable m v where

Memories from which pure values can be extracted. Once a pure value is extracted,

Methods

extract :: MT m v

Instances

Storable a => Extractable (MemoryCell a) a

Defined in Raaz.Core.Memory

Methods

extract :: MT (MemoryCell a) a

Storable h => Extractable (HashMemory h) h

Defined in Raaz.Hash.Internal

Methods

extract :: MT (HashMemory h) h

class Memory m => InitialisableFromBuffer m where

A memory type that can be initialised from a pointer buffer. The initialisation performs a direct copy from the input buffer and hence the chances of the initialisation value ending up in the swap is minimised.

Methods

initialiser :: m -> ReadM (MT m)

Instances

EndianStore a => InitialisableFromBuffer (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

initialiser :: MemoryCell a -> ReadM (MT (MemoryCell a))

class Memory m => ExtractableToBuffer m where

A memory type that can extract bytes into a buffer. The extraction will perform a direct copy and hence the chances of the extracted value ending up in the swap space is minimised.

Methods

extractor :: m -> WriteM (MT m)

Instances

EndianStore a => ExtractableToBuffer (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

extractor :: MemoryCell a -> WriteM (MT (MemoryCell a))

A basic memory cell.

data MemoryCell a

A memory location to store a value of type having Storable instance.

Instances

EndianStore a => ExtractableToBuffer (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

extractor :: MemoryCell a -> WriteM (MT (MemoryCell a))

EndianStore a => InitialisableFromBuffer (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

initialiser :: MemoryCell a -> ReadM (MT (MemoryCell a))

Storable a => Memory (MemoryCell a)

Defined in Raaz.Core.Memory

Methods

memoryAlloc :: Alloc (MemoryCell a)

unsafeToPointer :: MemoryCell a -> Pointer

Storable a => Extractable (MemoryCell a) a

Defined in Raaz.Core.Memory

Methods

extract :: MT (MemoryCell a) a

Storable a => Initialisable (MemoryCell a) a

Defined in Raaz.Core.Memory

Methods

initialise :: a -> MT (MemoryCell a) ()

withCellPointer :: (MemoryThread mT, Storable a) => (Ptr a -> IO b) -> mT (MemoryCell a) b

Work with the underlying pointer of the memory cell. Useful while working with ffi functions.

getCellPointer :: (MemoryThread mT, Storable a) => mT (MemoryCell a) (Ptr a)

Get the pointer associated with the given memory cell.

Memory threads.

class MemoryThread (mT :: Type -> Type -> Type) where

A class that captures abstract "memory threads". A memory thread can either be run securely or insecurely. Pure IO actions can be run inside a memory thread using the runIO. However, the IO action that is being run must not directly or indirectly run a secure action ever. In particular, the following code is bad.

-- BAD EXAMPLE: DO NOT USE.
runIO $ securely $ foo

On the other hand the following code is fine

runIO $ insecurely $ someMemoryAction

As to why this is dangerous, it has got to do with the fact that mlock and munlock do not nest correctly. A single munlock can unlock multiple calls of mlock on the same page. Whether a given IO action unlocks memory is difficult to keep track of; for all you know, it might be a FFI call that does an memunlock. Hence, currently there is no easy way to enforce this.

Methods

securely :: Memory mem => mT mem a -> IO a

Run a memory action with the internal memory allocated from a locked memory buffer. This memory buffer will never be swapped out by the operating system and will be wiped clean before releasing.

Memory locking is an expensive operation and usually there would be a limit to how much locked memory can be allocated. Nonetheless, actions that work with sensitive information like passwords should use this to run an memory action.

insecurely :: Memory mem => mT mem a -> IO a

Run a memory action with the internal memory used by the action being allocated from unlocked memory. Use this function when you work with data that is not sensitive to security considerations (for example, when you want to verify checksums of files).

liftMT :: MT mem a -> mT mem a

Lift an actual memory thread.

onSubMemory :: (mem -> submem) -> mT submem a -> mT mem a

Combinator that allows us to run a memory action on a sub-memory element. A sub-memory of submem of a memory element mem is given by a projection proj : mem -> submem. The action onSubMemory proj lifts the a memory thread on the sub element to the compound element.

Instances

MemoryThread MT

Defined in Raaz.Core.Memory

Methods

securely :: Memory mem => MT mem a -> IO a

insecurely :: Memory mem => MT mem a -> IO a

liftMT :: MT mem a -> MT mem a

onSubMemory :: (mem -> submem) -> MT submem a -> MT mem a

MemoryThread RT

Defined in Raaz.Random

Methods

securely :: Memory mem => RT mem a -> IO a

insecurely :: Memory mem => RT mem a -> IO a

liftMT :: MT mem a -> RT mem a

onSubMemory :: (mem -> submem) -> RT submem a -> RT mem a

doIO :: MemoryThread mT => IO a -> mT mem a

Perform an IO action inside the memory thread.

getMemory :: MemoryThread mT => mT mem mem

Get the underlying memory element of the memory thread.

modify :: (Initialisable mem a, Extractable mem b, MemoryThread mT) => (b -> a) -> mT mem ()

Apply the given function to the value in the cell. For a function f :: b -> a, the action modify f first extracts a value of type b from the memory element, applies f to it and puts the result back into the memory.

modify f = do b          <- extract
              initialise $  f b

execute :: MemoryThread mT => (mem -> IO a) -> mT mem a

Run a given memory action in the memory thread.

data MT mem a

An action of type MT mem a is an action that uses internally a single memory object of type mem and returns a result of type a. All the actions are performed on a single memory element and hence the side effects persist. It is analogues to the ST monad.

Instances

MemoryThread MT

Defined in Raaz.Core.Memory

Methods

securely :: Memory mem => MT mem a -> IO a

insecurely :: Memory mem => MT mem a -> IO a

liftMT :: MT mem a -> MT mem a

onSubMemory :: (mem -> submem) -> MT submem a -> MT mem a

Monad (MT mem)

Defined in Raaz.Core.Memory

Methods

(>>=) :: MT mem a -> (a -> MT mem b) -> MT mem b

(>>) :: MT mem a -> MT mem b -> MT mem b

return :: a -> MT mem a

Functor (MT mem)

Defined in Raaz.Core.Memory

Methods

fmap :: (a -> b) -> MT mem a -> MT mem b

(<$) :: a -> MT mem b -> MT mem a

Applicative (MT mem)

Defined in Raaz.Core.Memory

Methods

pure :: a -> MT mem a

(<*>) :: MT mem (a -> b) -> MT mem a -> MT mem b

liftA2 :: (a -> b -> c) -> MT mem a -> MT mem b -> MT mem c

(*>) :: MT mem a -> MT mem b -> MT mem b

(<*) :: MT mem a -> MT mem b -> MT mem a

MonadIO (MT mem)

WARNING: do not lift a secure memory action.

Defined in Raaz.Core.Memory

Methods

liftIO :: IO a -> MT mem a

Some low level MT actions.

liftPointerAction :: PointerAction IO a b -> PointerAction (MT mem) a b

An IO allocator can be lifted to the memory thread level as follows.

Memory allocation

type Alloc mem = TwistRF AllocField (BYTES Int) mem

A memory allocator for the memory type mem. The Applicative instance of Alloc can be used to build allocations for complicated memory elements from simpler ones.

pointerAlloc :: LengthUnit l => l -> Alloc Pointer

Allocates a buffer of size l and returns the pointer to it pointer.