:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Skalka, Christian, Near, Joseph P.
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages
Online Access:	https://arxiv.org/abs/2501.17824
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

DT-SIM: Property-Based Testing for MPC Security
by: Bates, Mako, et al.
Published: (2024)

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

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

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

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

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

DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time Verification
by: Njungle, Nges Brian, et al.
Published: (2026)

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

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

OLYMPIA: A Simulation Framework for Evaluating the Concrete Scalability of Secure Aggregation Protocols
by: Ngong, Ivoline C., et al.
Published: (2023)

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

Graded Modal Types for Integrity and Confidentiality
by: Marshall, Danielle, et al.
Published: (2023)

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

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

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

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

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

TYPEPULSE: Detecting Type Confusion Bugs in Rust Programs
by: Chen, Hung-Mao, et al.
Published: (2025)

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

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

ILA: Correctness via Type Checking for Fully Homomorphic Encryption
by: Gollamudi, Tarakaram, et al.
Published: (2025)

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

Differentially Private Learning Needs Better Model Initialization and Self-Distillation
by: Ngong, Ivoline C., et al.
Published: (2024)

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

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

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

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
by: Hassanzadeh-Nazarabadi, Yahya, et al.
Published: (2025)

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

Obfuscation as Instruction Decorrelation
by: Ajorian, Ali, et al.
Published: (2024)

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

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

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

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

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
by: Arquint, Linard, et al.
Published: (2025)

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

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

TypePilot: Leveraging the Scala Type System for Secure LLM-generated Code
by: Sternfeld, Alexander, et al.
Published: (2025)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
by: Amorim, Arthur, et al.
Published: (2026)

ReSMT: An SMT-Based Tool for Reverse Engineering
by: Somech, Nir, et al.
Published: (2025)