Login / Signup
Antonin Reitz
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Optimal Allocation
Security Level
Memory Space
Computer Security
Top Venues
CoRR
</>
Publications
</>
Antonin Reitz
,
Aymeric Fromherz
,
Jonathan Protzenko
StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator.
CoRR
(2024)