ResearchTrend.AI
StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator

Antonin Reitz
Aymeric Fromherz
Jonathan Protzenko
    LRM
ArXivPDFHTML

Papers citing "StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator"

4 / 4 papers shown
Title
Picking a CHERI Allocator: Security and Performance Considerations
Picking a CHERI Allocator: Security and Performance Considerations
Jacob Bramley
Dejice Jacob
Andrei Lascu
Jeremy Singer
L. Tratt
24
9
0
27 Mar 2023
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
J. Almeida
M. Barbosa
Gilles Barthe
B. Grégoire
Adrien Koutsos
Vincent Laporte
Tiago Oliveira
Pierre-Yves Strub
28
63
0
09 Apr 2019
FreeGuard: A Faster Secure Heap Allocator
FreeGuard: A Faster Secure Heap Allocator
Sam Silvestro
Hongyu Liu
Corey Crosser
Zhiqiang Lin
Tongping Liu
38
63
0
08 Sep 2017
Verified Correctness and Security of mbedTLS HMAC-DRBG
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye
M. Green
Naphat Sanguansin
Lennart Beringer
Adam Petcher
A. Appel
44
59
0
28 Aug 2017

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.