Paper

A formal framework for the economic security of DeFi compositions

Unreadunread

AI summary

arXiv:2606. 05418v1 Announce Type: new Abstract: Decentralized Finance (DeFi) services are usually constructed by composing a variety of smart contracts.

Reading status

Priority

About this paper

Authors: Massimo Bartoletti, Riccado Marchesin, Roberto Zunino
Released: 2026-06-05 (2mo ago)
Topic: Related to current project
Relation to my work: Read next because A formal framework for the economic security of DeFi compositions overlaps with experiment "Follow-up to #354: cascading chunk-binding — does A→B, B→C, C→D propagate the full chain on a recipient trained only to emit A?", experiment "#351 follow-up: broader-vocab position-0 sweep at T=1.0 + position-1 suffix isolation", experiment "Language-mismatch LoRA SFT on Qwen2.5-7B leaks the trained completion language into bystander directives the model was never trained on, absent under same-language SFT (LOW confidence)". Matching terms: chain, position, model. Source: arxiv cs.CR (Cryptography and Security).
arXiv: 2606.05418

Ask Claude about this paper

Posts a comment with @claude so the runner spins up a Claude Code session scoped to A formal framework for the economic security of DeFi compositions. Replies appear in the conversation below.

Comments

No comments yet.

Related records

No links yet.