Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Reitz, Antonin, Fromherz, Aymeric, Protzenko, Jonathan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Scylla: Translating an Applicative Subset of C to Safe Rust
di: Fromherz, Aymeric, et al.
Pubblicazione: (2024)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
di: Huyghebaert, Sander, et al.
Pubblicazione: (2023)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
di: Ho, Son, et al.
Pubblicazione: (2024)

Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
di: Baumann, Jonathan, et al.
Pubblicazione: (2026)

SeMalloc: Semantics-Informed Memory Allocator
di: Wang, Ruizhe, et al.
Pubblicazione: (2024)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
di: Chen, Haobin Hiroki, et al.
Pubblicazione: (2025)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
di: Thibault, Jérémy, et al.
Pubblicazione: (2024)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2025)

Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
di: Cho, Hyunhum, et al.
Pubblicazione: (2026)

Automated Formal Verification of a Software Fault Isolation System
di: Sotoudeh, Matthew, et al.
Pubblicazione: (2025)

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
di: Zhang, Keyang, et al.
Pubblicazione: (2026)

The Jasmin Compiler Preserves Cryptographic Security
di: Arranz-Olmos, Santiago, et al.
Pubblicazione: (2025)

Secure Composition of Robust and Optimising Compilers
di: Kruse, Matthis, et al.
Pubblicazione: (2023)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
di: Yao, Siqiu, et al.
Pubblicazione: (2024)

Language-Based Security for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
di: Künnemann, Robert, et al.
Pubblicazione: (2024)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
di: Acay, Coşku, et al.
Pubblicazione: (2024)

SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
di: Andrici, Cezar-Constantin, et al.
Pubblicazione: (2026)

Charon: An Analysis Framework for Rust
di: Ho, Son, et al.
Pubblicazione: (2024)

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
di: Michael, Alexandra E., et al.
Pubblicazione: (2022)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
di: Ramananandro, Tahina, et al.
Pubblicazione: (2025)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
di: Sharma, Reshabh K, et al.
Pubblicazione: (2026)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
di: Haddad, Rami, et al.
Pubblicazione: (2022)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
di: Thibault, Jérémy, et al.
Pubblicazione: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
di: Amorim, Arthur, et al.
Pubblicazione: (2025)

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
di: Blaabjerg, Jeppe Fredsgaard, et al.
Pubblicazione: (2023)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
di: Khakpour, Narges, et al.
Pubblicazione: (2025)

Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust
di: Gülmez, Merve, et al.
Pubblicazione: (2023)

FSLH: Flexible Mechanized Speculative Load Hardening
di: Baumann, Jonathan, et al.
Pubblicazione: (2025)

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
di: Monat, Raphaël, et al.
Pubblicazione: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
di: Tempel, Sören, et al.
Pubblicazione: (2024)

Formalization of Differential Privacy in Isabelle/HOL
di: Sato, Tetsuya, et al.
Pubblicazione: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
di: Li, Ziyang, et al.
Pubblicazione: (2024)

A Deep Dive into Function Inlining and its Security Implications for ML-based Binary Analysis
di: Abusabha, Omar, et al.
Pubblicazione: (2025)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
di: Khare, Avishree, et al.
Pubblicazione: (2023)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
di: Song, Shixin, et al.
Pubblicazione: (2025)