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