1 paper
Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko
In this work, we present StarMalloc, a verified, security-oriented, concurrent memory allocator that can be used as a drop-in replacement in real-world projects. Using the Steel se…