Buchumschlag

A Deductive System for Contract Satisfaction Proofs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Correnson, Arthur, Zeng, Haoyi, Hofmann, Jana
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Cryptography and Security Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coinductive Proofs for Temporal Hyperliveness
von: Correnson, Arthur, et al.
Veröffentlicht: (2025)

Gradual Verification for Smart Contracts
von: Sun, Haojia, et al.
Veröffentlicht: (2023)

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

Alignment Contracts for Agentic Security Systems
von: David, Isaac, et al.
Veröffentlicht: (2026)

Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
von: Amorim, Arthur, et al.
Veröffentlicht: (2024)

Dynamic IFC Theorems for Free!
von: Algehed, Maximilian, et al.
Veröffentlicht: (2020)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
von: Lindner, Andreas, et al.
Veröffentlicht: (2023)

Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography
von: Giusti, Giulia
Veröffentlicht: (2025)

Formalization of Differential Privacy in Isabelle/HOL
von: Sato, Tetsuya, et al.
Veröffentlicht: (2024)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
von: Rao, Balaji, et al.
Veröffentlicht: (2026)

FlexProofs: A Vector Commitment with Flexible Linear Time for Computing All Proofs
von: Liu, Jing, et al.
Veröffentlicht: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
von: Baumeister, Jan, et al.
Veröffentlicht: (2025)

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
von: Sun, Sheng, et al.
Veröffentlicht: (2021)

Monitoring the Future of Smart Contracts
von: Capretto, Margarita, et al.
Veröffentlicht: (2024)

Towards Practical Zero-Knowledge Proof for PSPACE
von: Karthikeyan, Ashwin, et al.
Veröffentlicht: (2025)

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
von: Zhang, Linpeng, et al.
Veröffentlicht: (2024)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
von: Kolesar, John, et al.
Veröffentlicht: (2025)

Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Safety and Liveness of Cross-Domain State Preservation under Byzantine Faults: A Mechanized Proof in Isabelle/HOL
von: Kim, Jinwook
Veröffentlicht: (2026)

Cryptis: Cryptographic Reasoning in Separation Logic
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2025)

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language
von: Shapiro, Ehud
Veröffentlicht: (2025)

Generalized Security-Preserving Refinement for Concurrent Systems
von: Sun, Huan, et al.
Veröffentlicht: (2025)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
von: Li, Fang, et al.
Veröffentlicht: (2025)

A Logic of Sattestation
von: Jaggard, Aaron D., et al.
Veröffentlicht: (2024)

Adjoint Natural Deduction (Extended Version)
von: Jang, Junyoung, et al.
Veröffentlicht: (2024)

A Formally Verified Lightning Network
von: Fabiański, Grzegorz, et al.
Veröffentlicht: (2025)

A Coq Formalization of Unification Modulo Exclusive-Or
von: Xu, Yichi, et al.
Veröffentlicht: (2025)

HyperQB: A Bounded Model Checker for Hyperproperties
von: Hsu, Tzu-Han, et al.
Veröffentlicht: (2021)

A Survey of Interactive Verifiable Computing: Utilizing Low-degree Polynomials
von: Wang, Angold
Veröffentlicht: (2025)

Holographic Projection and Cyber Attack Surface: A Physical Analogy for Digital Security
von: Fernandes, Ricardo Queiroz de Araujo, et al.
Veröffentlicht: (2025)

COBALT-TLA: A Neuro-Symbolic Verification Loop for Cross-Chain Bridge Vulnerability Discovery
von: Blain, Dominik
Veröffentlicht: (2026)

Agentproof: Static Verification of Agent Workflow Graphs
von: Xavier, Melwin, et al.
Veröffentlicht: (2026)

The Bright Side of Timed Opacity
von: André, Étienne, et al.
Veröffentlicht: (2024)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
von: Ye, Kangfeng, et al.
Veröffentlicht: (2025)

Verification of Robust Properties for Access Control Policies
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Proving Circuit Functional Equivalence in Zero Knowledge
von: Shen, Sirui, et al.
Veröffentlicht: (2026)

Differentially Private Runtime Monitoring
von: Finkbeiner, Bernd, et al.
Veröffentlicht: (2026)

Formal Verification of Probing Security via Conditional Independence
von: Kura, Satoshi, et al.
Veröffentlicht: (2026)

Zero-Knowledge Model Checking
von: Berrang, Pascal, et al.
Veröffentlicht: (2026)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
von: Bino, Melki
Veröffentlicht: (2026)