@misc{indiciae0b9722f0c9d7,
  title = {StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator},
  author = {Antonin Reitz and Aymeric Fromherz and Jonathan Protzenko},
  year = {2024},
  url = {https://arxiv.org/abs/2403.09435},
  note = {Source identifier: 2403.09435}
}