Sfoglia per Autore NEGRINI, Luca
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs
2024-01-01 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
2024-01-01 Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
Automating ROS2 Security Policies Extraction through Static Analysis
2024-01-01 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca; White, Ruffin
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA
2024-01-01 Zanatta, Giacomo; Ferrara, Pietro; Lisovenko, Teodors; Negrini, Luca; Caiazza, Gianluca; White, Ruffin
Teaching Through Practice: Advanced Static Analysis with LiSA
2024-01-01 Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro
Tarsis: An effective automata-based abstract domain for string analysis
2024-01-01 Negrini, L.; Arceri, V.; Cortesi, A.; Ferrara, P.
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables
2024-01-01 Negrini, Luca; Presotto, Sofia; Ferrara, Pietro; Zaffanella, Enea; Cortesi, Agostino
Detection of Phantom Reads in Hyperledger Fabric
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
Inference of access policies through static analysis
2024-01-01 Zanatta, Giacomo; Caiazza, Gianluca; Ferrara, Pietro; Negrini, Luca
European Union Data Act and Blockchain Technology: Challenges and New Directions
2024-01-01 Olivieri, L.; Pasetto, L.; Negrini, L.; Ferrara, P.
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
A generic framework for multilanguage analysis
2023-01-27 Negrini, Luca
LiSA: A Generic Framework for Multilanguage Static Analysis
2023-01-01 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
MichelsonLiSA: A Static Analyzer for Tezos
2023-01-01 Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto
Static Analysis of Data Transformations in Jupyter Notebooks
2023-01-01 Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina
Information Flow Analysis for Detecting Non-Determinism in Blockchain
2023-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
Static analysis for dummies: experiencing LiSA
2021-01-01 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile