Imagen de Portada

Language-Based Security for Low-Level MPC

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Skalka, Christian, Near, Joseph P.
Formato:	Preprint
Publicado:	2024
Materias:	Cryptography and Security Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Obfuscation as Instruction Decorrelation
por: Ajorian, Ali, et al.
Publicado: (2024)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
por: Damodaran, Suresh K., et al.
Publicado: (2025)

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

Language-Based Agent Control
por: Zhou, Timothy, et al.
Publicado: (2026)

SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications
por: Braunsdorf, Oliver, et al.
Publicado: (2025)

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

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach
por: Li, Fang, et al.
Publicado: (2025)

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

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

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

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

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

Large Language Models for Code: Security Hardening and Adversarial Testing
por: He, Jingxuan, et al.
Publicado: (2023)