Static analysis for discovering IoT vulnerabilities
Ferrara, Pietro, Mandal, Amit Kr, Cortesi, Agostino, Spoto, Fausto
Published in International journal on software tools for technology transfer (01.02.2021)
Published in International journal on software tools for technology transfer (01.02.2021)
Get full text
Journal Article
Analysing omics data sets with weighted nodes networks (WNNets)
Tosadori, Gabriele, Di Silvestre, Dario, Spoto, Fausto, Mauri, Pierluigi, Laudanna, Carlo, Scardoni, Giovanni
Published in Scientific reports (14.07.2021)
Published in Scientific reports (14.07.2021)
Get full text
Journal Article
Biological network analysis with CentiScaPe: centralities and experimental dataset integration
Scardoni, Giovanni, Tosadori, Gabriele, Faizan, Mohammed, Spoto, Fausto, Fabbri, Franco, Laudanna, Carlo
Published in F1000 research (01.01.2014)
Published in F1000 research (01.01.2014)
Get full text
Journal Article
Creating, generating and comparing random network models with NetworkRandomizer [version 3; peer review: 2 approved, 1 approved with reservations]
Tosadori, Gabriele, Bestvina, Ivan, Spoto, Fausto, Laudanna, Carlo, Scardoni, Giovanni
Published in F1000 research (01.01.2016)
Published in F1000 research (01.01.2016)
Get full text
Journal Article
Software verification challenges in the blockchain ecosystem
Olivieri, Luca, Spoto, Fausto
Published in International journal on software tools for technology transfer (01.08.2024)
Published in International journal on software tools for technology transfer (01.08.2024)
Get full text
Journal Article
Fungible and non-fungible tokens with snapshots in Java
Crosara, Marco, Olivieri, Luca, Spoto, Fausto, Tagliaferro, Fabio
Published in Cluster computing (01.10.2023)
Published in Cluster computing (01.10.2023)
Get full text
Journal Article
On the use of generic types for smart contracts
Spoto, Fausto, Migliorini, Sara, Gambini, Mauro, Benini, Andrea
Published in Cluster computing (01.08.2023)
Published in Cluster computing (01.08.2023)
Get full text
Journal Article
Static analysis of Android Auto infotainment and on‐board diagnostics II apps
Mandal, Amit Kr, Panarotto, Federica, Cortesi, Agostino, Ferrara, Pietro, Spoto, Fausto
Published in Software, practice & experience (01.07.2019)
Published in Software, practice & experience (01.07.2019)
Get full text
Journal Article
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto
Published in Science of computer programming (01.06.2020)
Published in Science of computer programming (01.06.2020)
Get full text
Journal Article