Noninterference Analysis for Smart Contracts: Would You Bet on It?. Guesmi, S., Piazza, C., & Rossi, S. In Proc. of the 6th Distributed Ledger Technology Workshop (DLT 2024), volume 3791, pages 12:1–12:15, Torino (Italy), May, 2024. CEUR-WS.org.
Noninterference Analysis for Smart Contracts: Would You Bet on It? [pdf]Paper  bibtex   

Downloads: 0