TL;DR
This paper presents a framework where programmers can use schemas and reusable constructs for a given domain, which domain experts can then use to specify smart contracts in familiar terms and concepts rather than in a specialized programming language.
A conceptual taxonomy establishing an explicit correspondence between classical and smart contract fuzzing is developed and an architectural taxonomy of representative fuzzers unified under a generalised waypoint architecture is presented that exposes key feedback domains and composition gaps.
Specifying contracts as program behavior using Hoare triples is an established practice in software engineering. Compared to traditional testing approaches, formal verification of these contracts provides stronger guarantees of functional correctness. However, its practical adoption has remained limited since significa...
We propose CMod, an economic model for analyzing the economic security of decentralized finance (DeFi) smart contract code. CMod defines the notions of economic value, intended-return conditions, and unintended single-transaction return, and reasons about economic security by proving the absence of unintended single-tr...
Modular and upgradeable smart-contract systems enable replaceable execution logic, but modular dispatch alone does not define which components own architectural responsibilities such as coordination, resolution, shared state, reusable services, and observation. This paper presents CARE, a responsibility-oriented archit...
Kamera is presented, a system for testing CCPs that uses partial simulation to execute the code of multiple interacting controllers against a lightweight model of the Kubernetes runtime and achieves a 1,781× speedup over existing cluster-based controller testing approaches.
Deterministic networking spans heterogeneous domains. At each boundary, two domains must agree on an assume--guarantee contract: what traffic the client may inject, and the QoS the carrier will hold for it. Composing such contracts into an end-to-end guarantee is standardized, but deriving each domain's contract is not...
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
