Static analysis for discovering IoT vulnerabilities von Ferrara, Pietro, Mandal, Amit Kr, Cortesi, Agostino, Spoto, Fausto

Volltext

Analysing omics data sets with weighted nodes networks (WNNets) von Tosadori, Gabriele, Di Silvestre, Dario, Spoto, Fausto, Mauri, Pierluigi, Laudanna, Carlo, Scardoni, Giovanni

Volltext

A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements von Saif, Muhammad Bin, Migliorini, Sara, Spoto, Fausto

Volltext

Efficient and Secure Distributed Data Storage and Retrieval Using Interplanetary File System and Blockchain von Bin Saif, Muhammad, Migliorini, Sara, Spoto, Fausto

Volltext

Biological network analysis with CentiScaPe: centralities and experimental dataset integration von Scardoni, Giovanni, Tosadori, Gabriele, Faizan, Mohammed, Spoto, Fausto, Fabbri, Franco, Laudanna, Carlo

Volltext

A Termination Analyzer for Java Bytecode Based on Path-Length von SPOTO, Fausto, MESNARD, Fred, PAYET, Etienne

Volltext

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study von Olivieri, Luca, Arceri, Vincenzo, Chachar, Badaruddin, Negrini, Luca, Tagliaferro, Fabio, Spoto, Fausto, Ferrara, Pietro, Cortesi, Agostino

Volltext

Creating, generating and comparing random network models with NetworkRandomizer [version 3; peer review: 2 approved, 1 approved with reservations] von Tosadori, Gabriele, Bestvina, Ivan, Spoto, Fausto, Laudanna, Carlo, Scardoni, Giovanni

Volltext

Software verification challenges in the blockchain ecosystem von Olivieri, Luca, Spoto, Fausto

Volltext

Finding the shortest path with PesCa: a tool for network reconstruction [version 2; peer review: 2 approved, 2 approved with reservations] von Scardoni, Giovanni, Tosadori, Gabriele, Pratap, Sakshi, Spoto, Fausto, Laudanna, Carlo

Volltext

Precise null-pointer analysis von Spoto, Fausto

Volltext

Static analysis of Android programs von Payet, Étienne, Spoto, Fausto

Volltext

Enforcing Determinism of Java Smart Contracts von Spoto, Fausto

Volltext

Fungible and non-fungible tokens with snapshots in Java von Crosara, Marco, Olivieri, Luca, Spoto, Fausto, Tagliaferro, Fabio

Volltext

From CIL to Java bytecode: Semantics-based translation for static analysis leveraging von Ferrara, Pietro, Cortesi, Agostino, Spoto, Fausto

Volltext

On the use of generic types for smart contracts von Spoto, Fausto, Migliorini, Sara, Gambini, Mauro, Benini, Andrea

Volltext

A Java Framework for Smart Contracts von Spoto, Fausto

Volltext

Static analysis of Android Auto infotainment and on‐board diagnostics II apps von Mandal, Amit Kr, Panarotto, Federica, Cortesi, Agostino, Ferrara, Pietro, Spoto, Fausto

Volltext

Static Identification of Injection Attacks in Java von Spoto, Fausto, Burato, Elisa, Ernst, Michael D., Ferrara, Pietro, Lovato, Alberto, Macedonio, Damiano, Spiridon, Ciprian

Volltext

The Julia Static Analyzer for Java von Spoto, Fausto

Volltext