CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 112
Titolo Data di pubblicazione Autore(i) File
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Unveiling metamorphism by abstract interpretation of code properties 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Saumya K., Debray
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables 1-gen-2015 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Analyzing Program Analyses 1-gen-2015 Giacobazzi, Roberto; Logozzo, F.; Ranzato, F.
Completeness in Approximate Transduction 1-gen-2016 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Making abstract models complete 1-gen-2016 Giacobazzi, Roberto; Mastroeni, Isabella
Weakening Additivity in Adjoining Closures 1-gen-2016 Mastroeni, Isabella; Giacobazzi, Roberto
Active Android malware analysis: an approach based on stochastic games 1-gen-2016 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Maximal incompleteness as obfuscation potency 1-gen-2017 Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila
SEA: String Executability Analysis by Abstract Interpretation 1-gen-2017 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Sound up-to techniques and Complete abstract domains 1-gen-2018 Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
A deep learning approach to program similarity. 1-gen-2018 Marastoni, Niccolò; DALLA PREDA, Mila; Giacobazzi, Roberto
Code Obfuscation Against Abstract Model Checking Attacks. 1-gen-2018 Bruni, R.; Giacobazzi, R.; Gori, R.
Abstract Non-Interference: A unifying framework for weakening information flow 1-gen-2018 Giacobazzi, Roberto; Mastroeni, Isabella
Code obfuscation against abstraction refinement attacks 1-gen-2018 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta
Program Analysis is Harder than Verification: A Computability Perspective 1-gen-2018 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
A²I: abstract² interpretation 1-gen-2019 Cousot, Patrick; Giacobazzi, Roberto; Ranzato, Francesco
Abstract Interpretation of Indexed Grammars. 1-gen-2019 DALLA PREDA, Mila; Campion, Marco; Giacobazzi, Roberto
Abstract extensionality: on the properties of incomplete abstract interpretations 1-gen-2020 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Garcia-Contreras, Isabel; Pavlovic, Dusko
Fondamenti dell'informatica. Linguaggi formali, calcolabilità e complessità 1-gen-2020 Dovier, Agostino; Giacobazzi, Roberto
Mostrati risultati da 81 a 100 di 112
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