DALLA PREDA, Mila

DALLA PREDA, Mila  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
A deep learning approach to program similarity. 1-gen-2018 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
A Semantics-Based Approach to Malware Detection 1-gen-2007 DALLA PREDA, Mila; M., Christodorescu; S., Jha; S., Debray
Abstract Interpretation of Indexed Grammars. 1-gen-2019 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games 1-gen-2016 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Adversarial Authorship Attribution in Open-Source Projects 1-gen-2019 Matyukhina, Alina; Stakhanova, Natalia; DALLA PREDA, Mila; Perley, Celine
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. 1-gen-2014 DALLA PREDA, Mila; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro; Maurizio, Gabbrielli
Analyzing program dependences for malware detection. 1-gen-2014 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Barrier Slicing for Remote Software Trusting 1-gen-2007 Ceccato, M.; DALLA PREDA, Mila; Nagra, J.; Collberg, C.; Tonella, P.
Chasing infections by unveiling program dependencies. 1-gen-2013 DALLA PREDA, Mila; Mastroeni, Isabella
Completeness in Approximate Transduction 1-gen-2016 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Completeness Refinement in Abstract Symbolic Trajectory Evaluation 1-gen-2004 DALLA PREDA, Mila
Control code obfuscation by abstract interpretation 1-gen-2005 DALLA PREDA, Mila; Giacobazzi, Roberto
Dynamic Choreographies Safe Runtime Updates of Distributed Applications. 1-gen-2015 DALLA PREDA, Mila; Maurizio, Gabbrielli; Saverio, Giallorenzo; Ivan, Lanese; Jacopo, Mauro
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode 1-gen-2021 Contro, Filippo; Crosara, Marco; Ceccato, Mariano; Preda, Mila Dalla
Exploring NFT Validation through Digital Watermarking 1-gen-2023 DALLA PREDA, Mila; Masaia, Francesco
Fast location of similar code fragments using semantic 'juice' 1-gen-2013 Arun, Lakhotia; DALLA PREDA, Mila; Giacobazzi, Roberto
Formal Framework for Property-driven Obfuscations 1-gen-2013 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
Formal framework for reasoning about the precision of dynamic analysis 1-gen-2020 DALLA PREDA, Mila; Giacobazzi, Roberto; Marastoni, Niccolo'
Graceful Interruption of Request-Response Service Interactions 1-gen-2011 DALLA PREDA, Mila; Gabbrielli, M.; Lanese, I.; Mauro, J.; Zavattaro, G.