@inproceedings{heckel2025dram,
  author    = {Martin Heckel and Florian Adamsky and Jonas Juffinger and Fabian Rauscher and Daniel Gruss},
  title     = {{Verifying DRAM Addressing in Software}},
  booktitle = {ESORICS},
  year      = {2025}
}