Copertina

Formalizing Stack Safety as a Security Property

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Anderson, Sean Noble, Blanco, Roberto, Lampropoulos, Leonidas, Pierce, Benjamin C., Tolmach, Andrew
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Programming Languages Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Pipe-Cleaner: Flexible Fuzzing Using Security Policies
di: Naaktgeboren, Allison, et al.
Pubblicazione: (2024)

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

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

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

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
di: Reitz, Antonin, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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)

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)

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

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
di: Ren, Silei, et al.
Pubblicazione: (2025)

An Array Intermediate Language for Mixed Cryptography
di: Ding, Vivian, et al.
Pubblicazione: (2024)

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

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

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
di: Ball, Thomas, et al.
Pubblicazione: (2024)

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

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

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

Smart Contract Languages: a comparative analysis
di: Bartoletti, Massimo, et al.
Pubblicazione: (2024)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
di: Ye, Qianchuan, et al.
Pubblicazione: (2023)

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

Compositional security definitions for higher-order where declassification
di: Menz, Jan, et al.
Pubblicazione: (2026)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
di: Pereira, João C., 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)

Beyond Imprecise Distance Metrics: Trace-Guided Directed Greybox Fuzzing via LLM-Predicted Call Stacks
di: Zhang, Yifan, et al.
Pubblicazione: (2025)

A Type System to Ensure Non-Interference in ReScript
di: Bennetzen, Benjamin, et al.
Pubblicazione: (2024)

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

Filament: Denning-Style Information Flow Control for Rust
di: Ching, Jeffrey C., et al.
Pubblicazione: (2026)

Malicious and Unintentional Disclosure Risks in Large Language Models for Code Generation
di: Rabin, Rafiqul, et al.
Pubblicazione: (2025)