31 citations · 53 across the 15 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts
Giovanni Pio Delvecchio, Stefano Fantazzini, Giacomo Frisoni +4
Large language models increasingly generate Solidity smart contracts that, once deployed, can never be patched, making a single latent fault permanent and exploitable. Yet current…
cs.SE2010★ 3 cited
File Managing and Program Execution in Web Operating Systems
Mario Bravetti
Web Operating Systems can be seen as an extension of traditional Operating Systems where the addresses used to manage files and execute programs (via the basic load/execution mecha…