38 citations · 56 across the 4 of their papers we have counts for
4 papers
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
Filippo Contro, Marco Crosara, Mariano Ceccato +1
Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before sma…
SEA: String Executability Analysis by Abstract Interpretation
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi +1
Dynamic languages often employ reflection primitives to turn dynamically generated text into executable code at run-time. These features make standard static analysis extremely har…
Dynamic Choreographies: Theory And Implementation
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even…
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications
Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese +2
We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of…