Sfoglia per Autore
Abstract Similarity Analysis
2017-01-01 DALLA PREDA, Mila; Vidali, Vanessa
DYNAMIC CHOREOGRAPHIES: THEORY AND IMPLEMENTATION
2017-01-01 Dalla Preda, M; Gabbrielli, Maurizio; Giallorenzo, S; Lanese, Ivan; Mauro, J
Characterizing A Property-Driven Obfuscation Strategy
2018-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
A deep learning approach to program similarity.
2018-01-01 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
Abstract Interpretation of Indexed Grammars.
2019-01-01 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Semantics-based software watermarking by abstract interpretation
2019-01-01 DALLA PREDA, Mila; Pasqua, Michele
Adversarial Authorship Attribution in Open-Source Projects
2019-01-01 Matyukhina, Alina; Stakhanova, Natalia; DALLA PREDA, Mila; Perley, Celine
Formal framework for reasoning about the precision of dynamic analysis
2020-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Marastoni, Niccolo'
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation
2020-01-01 DALLA PREDA, Mila
Revealing Similarities in Android Malware by Dissecting their Methods
2020-01-01 Pasetto, Michele; Marastoni, Niccolo'; DALLA PREDA, Mila
Data augmentation and transfer learning to classify malware images in a deep learning context
2021-01-01 Marastoni, N; Giacobazzi, R; Dalla Preda, M
Learning metamorphic malware signatures from samples
2021-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
2021-01-01 Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla
On the Properties of Partial Completeness in Abstract Interpretation
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
2022-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto
Exploring NFT Validation through Digital Watermarking
2023-01-01 DALLA PREDA, Mila; Masaia, Francesco
Dataset Characteristics for Reliable Code Authorship Attribution
2023-01-01 Abazari, Farzaneh; Branca, Enrico; Ridley, Norah; Stakhanova, Natalia; DALLA PREDA, Mila
Towards Obfuscation of Programmable Logic Controllers
2023-01-01 Cozza, Vittoria; Dalla Preda, Mila; Lucchese, Marco; Merro, Massimo; Zannone, Nicola
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
2023-01-01 Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano
Monotonicity and the Precision of Program Analysis
2024-01-01 Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Abstract Similarity Analysis | 1-gen-2017 | DALLA PREDA, Mila; Vidali, Vanessa | |
DYNAMIC CHOREOGRAPHIES: THEORY AND IMPLEMENTATION | 1-gen-2017 | Dalla Preda, M; Gabbrielli, Maurizio; Giallorenzo, S; Lanese, Ivan; Mauro, J | |
Characterizing A Property-Driven Obfuscation Strategy | 1-gen-2018 | DALLA PREDA, Mila; Mastroeni, Isabella | |
A deep learning approach to program similarity. | 1-gen-2018 | Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto | |
Abstract Interpretation of Indexed Grammars. | 1-gen-2019 | DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto | |
Semantics-based software watermarking by abstract interpretation | 1-gen-2019 | DALLA PREDA, Mila; Pasqua, Michele | |
Adversarial Authorship Attribution in Open-Source Projects | 1-gen-2019 | Matyukhina, Alina; Stakhanova, Natalia; DALLA PREDA, Mila; Perley, Celine | |
Formal framework for reasoning about the precision of dynamic analysis | 1-gen-2020 | DALLA PREDA, Mila; Giacobazzi, Roberto; Marastoni, Niccolo' | |
Towards a Unifying Framework for Tuning Analysis Precision by Program Transformation | 1-gen-2020 | DALLA PREDA, Mila | |
Revealing Similarities in Android Malware by Dissecting their Methods | 1-gen-2020 | Pasetto, Michele; Marastoni, Niccolo'; DALLA PREDA, Mila | |
Data augmentation and transfer learning to classify malware images in a deep learning context | 1-gen-2021 | Marastoni, N; Giacobazzi, R; Dalla Preda, M | |
Learning metamorphic malware signatures from samples | 1-gen-2021 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode | 1-gen-2021 | Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla | |
On the Properties of Partial Completeness in Abstract Interpretation | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis | 1-gen-2022 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto | |
Exploring NFT Validation through Digital Watermarking | 1-gen-2023 | DALLA PREDA, Mila; Masaia, Francesco | |
Dataset Characteristics for Reliable Code Authorship Attribution | 1-gen-2023 | Abazari, Farzaneh; Branca, Enrico; Ridley, Norah; Stakhanova, Natalia; DALLA PREDA, Mila | |
Towards Obfuscation of Programmable Logic Controllers | 1-gen-2023 | Cozza, Vittoria; Dalla Preda, Mila; Lucchese, Marco; Merro, Massimo; Zannone, Nicola | |
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode | 1-gen-2023 | Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano | |
Monotonicity and the Precision of Program Analysis | 1-gen-2024 | Campion, Marco; DALLA PREDA, Mila; Giacobazzi, Roberto; Urban, Caterina |
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