Sfoglia per Autore
Twinning Automata and Regular Expressions for String Static Analysis
2021-01-01 Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino
Static analysis for dummies: experiencing LiSA
2021-01-01 Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino
Static analysis for discovering IoT vulnerabilities
2021-01-01 Ferrara, P.; Mandal, A. K.; Cortesi, A.; Spoto, F.
Static Privacy Analysis by Flow Reconstruction of Tainted Data
2021-01-01 Ferrara, P.; Olivieri, L.; Spoto, F.
Relational String Abstract Domains
2022-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Ferrara, P.
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
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
Preface
2023-01-01 Arceri, V.; Cortesi, A.; Ferrara, P.; Olliaro, M.
Welcome from the Chairs
2023-01-01 Ferrara, P.; Hadarean, L.
Lifting String Analysis Domains
2023-01-01 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Certifying machine learning models against evasion attacks by program analysis
2023-01-01 Calzavara, S; Ferrara, P; Lucchese, C
LiSA: A Generic Framework for Multilanguage Static Analysis
2023-01-01 Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino
Tarsis: An effective automata-based abstract domain for string analysis
2024-01-01 Negrini, L.; Arceri, V.; Cortesi, A.; Ferrara, P.
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