@misc{indiciae4bc0237baf53,
  title = {CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives},
  author = {Harshita Gupta and Mayank Kabra and Rakesh Nadig and Nika Mansouri Ghiasi and Sahand Divsalar and F. Nisa Bostanci and Ataberk Olgun and Konstantinos Kanellopoulos and Jisung Park and Haiyu Mao and Abdullah Giray Yaglikci and Mohammad Sadrosadati and Onur Mutlu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10347},
  note = {Source identifier: 2609.10347}
}