arXiv cs.CR·4d agoStaged Multi-step UTXO Workflows via Recursive Invariants#utxo#blockchain#formal-methodsResearch
arXiv cs.CR·5d agoSkelOT: Reusing AOT Compilation Across EVM Contract Families#evm#ethereum#aotResearch
arXiv cs.CR·10d agoDetecting Logic Vulnerabilities Across the Contract and Device Layers of Blockchain-Enabled IoT With Multi-Agent Heterogeneous Graph Attention#blockchain#firmware#graph-attentionResearch
arXiv cs.CR·11d agoTasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction#blockchain-security#bytecode#smart-contractsResearch1
arXiv cs.CR·13d agoEfficient Branch-and-Bound Testing and Verification of zkVMs#branch-and-bound#formal-verification#smart-contractsResearch1
arXiv cs.CR·15d agoIntentFuzz: A Protocol-Aware Fuzzer for Automated Invariant Violation Detection in Intent-Based Cross-Chain Bridges#blockchain#cross-chain-bridge#defiResearch1
arXiv cs.CR·16d agoFunction Name Is All You Need to Detect Blockchain Application Attacks#anomaly-detection#attack-detection#blockchainResearch1
arXiv cs.CR·16d agoOn Identifying Sound Conditions for Frontrunning Resistance#blockchain#ethereum#formal-methodsResearch
Checkmarx·Aug 17, 2026There Is No Patch Tuesday on the Blockchain: Why Solidity Developers Need Fusion-Grade AppSec Before They Deploy#appsec#blockchain#exploitation1