Cover Image

A Language for Smart Contracts with Secure Control Flow (Technical Report)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Yao, Siqiu, Ni, Haobin, Ma, Stephanie, Schiff, Noah, Myers, Andrew C., Cecchetti, Ethan
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Nonmalleable Progress Leakage
by: Cecchetti, Ethan
Published: (2025)

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

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

zkStruDul: Programming zkSNARKs with Structural Duality
by: Krishnan, Rahul, et al.
Published: (2025)

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

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

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

Constructing Trustworthy Smart Contracts
by: Chait-Roth, Devora, et al.
Published: (2024)

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

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

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights
by: Smaragdakis, Yannis, et al.
Published: (2025)

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

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

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
by: Kong, Ziqiao, et al.
Published: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
by: Wang, Sally Junsong, et al.
Published: (2024)

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

Gradual Verification for Smart Contracts
by: Sun, Haojia, et al.
Published: (2023)

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

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

System-Level Defense against Indirect Prompt Injection Attacks: An Information Flow Control Perspective
by: Wu, Fangzhou, et al.
Published: (2024)

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

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

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
by: Chen, Zhiyang, et al.
Published: (2024)

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

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

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)

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

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

LISA Technical Report: An Agentic Framework for Smart Contract Auditing
by: Sun, Izaiah, et al.
Published: (2025)

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

Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE
by: Ramananandro, Tahina, 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)

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

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)

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

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

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
by: Trestioreanu, Lucian, et al.
Published: (2025)