Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 31
Titolo Data di pubblicazione Autori Tipo File Abstract
JLiSA: the Java frontend of the Library for Static Analysis (Competition Contribution) 1-gen-2026 Vincenzo ArceriLuca NegriniGiacomo ZanattaFilippo BianchiTeodors LisovenkoLuca OlivieriPietro Ferrara 4.1 Articolo in Atti di convegno -
Whole-value analysis by abstract interpretation 1-gen-2026 Negrini, Luca 2.1 Articolo su rivista -
Challenges of Software Verification (CSV’25) 1-gen-2026 Olivieri, LucaArceri, VincenzoNegrini, LucaCaiazza, Gianluca 2.1 Articolo su rivista -
An Overview of Termination in the Ethereum Blockchain 1-gen-2026 Olivieri, LucaNegrini, LucaFerrara, Pietro + 4.1 Articolo in Atti di convegno -
State of the art in program analysis 1-gen-2026 Negrini, Luca + 2.1 Articolo su rivista -
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode 1-gen-2025 Arceri, VincenzoNegrini, LucaOlivieri, Luca + 2.1 Articolo su rivista -
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 1-gen-2025 Luca OlivieriLuca NegriniVincenzo ArceriPietro FerraraAgostino Cortesi 4.1 Articolo in Atti di convegno -
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 1-gen-2025 Luca OlivieriLuca NegriniVincenzo ArceriPietro FerraraAgostino CortesiFausto Spoto 4.1 Articolo in Atti di convegno -
Don’t Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software 1-gen-2025 Olivieri, LucaNegrini, Luca 4.1 Articolo in Atti di convegno -
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric 1-gen-2025 Luca OlivieriLuca NegriniAntonio Emanuele CinaPietro Ferrara + 4.1 Articolo in Atti di convegno -
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 1-gen-2024 Arceri, VincenzoDolcetti, GretaNegrini, LucaOlivieri, Luca + 4.1 Articolo in Atti di convegno -
Automating ROS2 Security Policies Extraction through Static Analysis 1-gen-2024 Giacomo ZanattaGianluca CaiazzaPietro FerraraLuca NegriniRuffin White 4.1 Articolo in Atti di convegno -
Teaching Through Practice: Advanced Static Analysis with LiSA 1-gen-2024 Negrini, LucaArceri, VincenzoOlivieri, LucaCortesi, AgostinoFerrara, Pietro 4.1 Articolo in Atti di convegno -
European Union Data Act and Blockchain Technology: Challenges and New Directions 1-gen-2024 Olivieri L.Negrini L.Ferrara P. + 4.1 Articolo in Atti di convegno -
Design and Implementation of Static Analyses for Tezos Smart Contracts 1-gen-2024 Olivieri, LucaNegrini, LucaArceri, VincenzoSpoto, Fausto + 2.1 Articolo su rivista -
Challenges of software verification 1-gen-2024 Arceri, VincenzoNegrini, LucaOlivieri, LucaFerrara, Pietro 2.1 Articolo su rivista -
Detection of Phantom Reads in Hyperledger Fabric 1-gen-2024 Olivieri, LucaNegrini, LucaArceri, VincenzoChachar, BadaruddinFerrara, PietroCortesi, Agostino 2.1 Articolo su rivista -
Inference of access policies through static analysis 1-gen-2024 Zanatta, GiacomoCaiazza, GianlucaFerrara, PietroNegrini, Luca 2.1 Articolo su rivista -
Tarsis: An effective automata-based abstract domain for string analysis 1-gen-2024 Negrini L.Arceri V.Cortesi A.Ferrara P. 2.1 Articolo su rivista -
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 1-gen-2024 Olivieri, LucaChachar, BadaruddinNegrini, LucaFerrara, PietroCortesi, Agostino + 2.1 Articolo su rivista -
Mostrati risultati da 1 a 20 di 31
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