DramaVerify

Drama Verify is an approach to use the Drama Sidechannel published by Pessl et al. to verify DRAM addressing functions previously discovered by any addressing function reverse-engineering tool.

Build

• Build the binary using make:

make

Usage

• Run drama-verify using the following command-line parameters to verify linear DRAM bank addressing functions:

taskset 0x1 ./bin/drama-verify --memory-type=ddr5 --linear-addressing-functions=<list of linear DRAM addressing functions>

• Run drama-verify using the following command-line parameters to additinally use rank addressing functions:

taskset 0x1 ./bin/drama-verify --memory-type=ddr5 --linear-addressing-functions=<list of linear DRAM addressing functions> --linear-rank-addressing-function=<list of linear DRAM rank addressing functions>