Buchumschlag

The Jasmin Compiler Preserves Cryptographic Security

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arranz-Olmos, Santiago, Barthe, Gilles, Blatter, Lionel, Grégoire, Benjamin, Laporte, Vincent, Torrini, Paolo
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Programming Languages Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

(Dis)Proving Spectre Security with Speculation-Passing Style
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

Secure Synthesis of Distributed Cryptographic Applications (Technical Report)
von: Acay, Coşku, et al.
Veröffentlicht: (2024)

Secure Composition of Robust and Optimising Compilers
von: Kruse, Matthis, et al.
Veröffentlicht: (2023)

SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
von: van der Wall, Sören, et al.
Veröffentlicht: (2024)

Computationally Bounded Robust Compilation and Universally Composable Security
von: Künnemann, Robert, et al.
Veröffentlicht: (2024)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs
von: Thibault, Jérémy, et al.
Veröffentlicht: (2024)

Decompiling for Constant-Time Analysis
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

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

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

Code Generation for Cryptographic Kernels using Multi-word Modular Arithmetic on GPU
von: Zhang, Naifeng, et al.
Veröffentlicht: (2025)

Adding Compilation Metadata To Binaries To Make Disassembly Decidable
von: Engel, Daniel, et al.
Veröffentlicht: (2026)

Formalizing Stack Safety as a Security Property
von: Anderson, Sean Noble, et al.
Veröffentlicht: (2021)

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

Lightweight Yet Secure: Secure Scripting Language Generation via Lightweight LLMs
von: Zhang, Keyang, et al.
Veröffentlicht: (2026)

Language-Based Security for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2024)

SMT-Boosted Security Types for Low-Level MPC
von: Skalka, Christian, et al.
Veröffentlicht: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2026)

Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts
von: Huyghebaert, Sander, et al.
Veröffentlicht: (2023)

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
von: Ramananandro, Tahina, et al.
Veröffentlicht: (2025)

A Language for Smart Contracts with Secure Control Flow (Technical Report)
von: Yao, Siqiu, et al.
Veröffentlicht: (2024)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
von: Amorim, Arthur, et al.
Veröffentlicht: (2025)

OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
von: Blaabjerg, Jeppe Fredsgaard, et al.
Veröffentlicht: (2023)

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

StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
von: Reitz, Antonin, et al.
Veröffentlicht: (2024)

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
von: Ye, Qianchuan, et al.
Veröffentlicht: (2023)

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

A Proof-Producing Compiler for Blockchain Applications
von: Avigad, Jeremy, et al.
Veröffentlicht: (2025)

Compile-time Security Analysis and Optimization of Sensitive String Producers
von: Samuel, Mike, et al.
Veröffentlicht: (2026)

CrypTorch: PyTorch-based Auto-tuning Compiler for Machine Learning with Multi-party Computation
von: Liu, Jinyu, et al.
Veröffentlicht: (2025)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
von: Chen, Haobin Hiroki, et al.
Veröffentlicht: (2025)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Privacy-Preserving Patient Identity Management Framework for Secure Healthcare Access
von: Muslim, Nasif, et al.
Veröffentlicht: (2026)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
von: Wang, Claire, et al.
Veröffentlicht: (2025)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
von: Li, Ziyang, et al.
Veröffentlicht: (2024)

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
von: Khare, Avishree, et al.
Veröffentlicht: (2023)

A Content-Preserving Secure Linguistic Steganography
von: Xiang, Lingyun, et al.
Veröffentlicht: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
von: Arquint, Linard, et al.
Veröffentlicht: (2025)

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

From Solitary Directives to Interactive Encouragement! LLM Secure Code Generation by Natural Language Prompting
von: Liu, Shigang, et al.
Veröffentlicht: (2024)