SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements
2024-01-01 Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto
A Termination Analyzer for Java Bytecode based on Path-Length
2010-01-01 Spoto, Nicola Fausto; F., Mesnard; E., Payet
Analysing omics data sets with weighted nodes networks (WNNets)
2021-01-01 Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G.
Biological network analysis with CentiScaPe: centralities and experimental dataset integration
2015-01-01 Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo
Class Analyses as Abstract Interpretations of Trace Semantics
2003-01-01 Spoto, Nicola Fausto; T., Jensen
Creating, generating and comparing random network models with NetworkRandomizer
2017-01-01 Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G.
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto
Deriving Escape Analysis by Abstract Interpretation
2006-01-01 P. M., Hill; Spoto, Nicola Fausto
Design and Implementation of Static Analyses for Tezos Smart Contracts
2025-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain
2024-01-01 Bin Saif, Muhammad; Migliorini, Sara; Spoto, Fausto
Field-sensitive unreachability and non-cyclicity analysis
2014-01-01 Scapin, Enrico; Spoto, Nicola Fausto
Finding the shortest path with PesCa: A tool for network reconstruction
2016-01-01 Scardoni, G.; Tosadori, G.; Pratap, S.; Spoto, F.; Laudanna, C.
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
2020-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
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
Generalising Def and Pos to Type Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Logic Programs as Compact Denotations
2003-01-01 P. M., Hill; Spoto, Nicola Fausto
Magic-sets for localised analysis of Java bytecode
2010-01-01 Spoto, Nicola Fausto; Payet, É.
On the use of generic types for smart contracts
2023-01-01 Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements | 1-gen-2024 | Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto | |
| A Termination Analyzer for Java Bytecode based on Path-Length | 1-gen-2010 | Spoto, Nicola Fausto; F., Mesnard; E., Payet | |
| Analysing omics data sets with weighted nodes networks (WNNets) | 1-gen-2021 | Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G. | |
| Biological network analysis with CentiScaPe: centralities and experimental dataset integration | 1-gen-2015 | Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo | |
| Class Analyses as Abstract Interpretations of Trace Semantics | 1-gen-2003 | Spoto, Nicola Fausto; T., Jensen | |
| Creating, generating and comparing random network models with NetworkRandomizer | 1-gen-2017 | Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G. | |
| Cross-Programming Language Taint Analysis for the IoT Ecosystem | 1-gen-2019 | Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Deriving Escape Analysis by Abstract Interpretation | 1-gen-2006 | P. M., Hill; Spoto, Nicola Fausto | |
| Design and Implementation of Static Analyses for Tezos Smart Contracts | 1-gen-2025 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto | |
| Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain | 1-gen-2024 | Bin Saif, Muhammad; Migliorini, Sara; Spoto, Fausto | |
| Field-sensitive unreachability and non-cyclicity analysis | 1-gen-2014 | Scapin, Enrico; Spoto, Nicola Fausto | |
| Finding the shortest path with PesCa: A tool for network reconstruction | 1-gen-2016 | Scardoni, G.; Tosadori, G.; Pratap, S.; Spoto, F.; Laudanna, C. | |
| From CIL to Java bytecode: Semantics-based translation for static analysis leveraging | 1-gen-2020 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. | 1-gen-2024 | Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino | |
| Generalising Def and Pos to Type Analysis | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| Inferring Complete Initialization of Arrays | 1-gen-2013 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Logic Programs as Compact Denotations | 1-gen-2003 | P. M., Hill; Spoto, Nicola Fausto | |
| Magic-sets for localised analysis of Java bytecode | 1-gen-2010 | Spoto, Nicola Fausto; Payet, É. | |
| On the use of generic types for smart contracts | 1-gen-2023 | Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea |