Sfoglia per Autore
Abstract interpretation-based approaches to Security - A survey on Abstract non-Interference and its challenging application
2013-01-01 Mastroeni, Isabella
Analyzing program dependences for malware detection.
2014-01-01 DALLA PREDA, Mila; Mastroeni, Isabella; Giacobazzi, Roberto
A weakening residuation in adjoining closures
2015-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
MIME - A Formal Approach for Multiple Investigation in (Android) Malware Emulation Analysis
2015-01-01 Bellini, Fabio; Chiodi, Roberto; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.
2015-01-01 DALLA PREDA, Mila; Mastroeni, Isabella
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables
2015-01-01 DALLA PREDA, Mila; Giacobazzi, Roberto; Arun, Lakhotia; Mastroeni, Isabella
Weakening Additivity in Adjoining Closures
2016-01-01 Mastroeni, Isabella; Giacobazzi, Roberto
MIME: A Formal Approach to (Android) Emulation Malware Analysis
2016-01-01 Bellini, F.; Chiodi, R.; Mastroeni, Isabella
Active Android malware analysis: an approach based on stochastic games
2016-01-01 Sartea, Riccardo; DALLA PREDA, Mila; Farinelli, Alessandro; Giacobazzi, Roberto; Mastroeni, Isabella
Completeness in Approximate Transduction
2016-01-01 Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Making abstract models complete
2016-01-01 Giacobazzi, Roberto; Mastroeni, Isabella
SEA: String Executability Analysis by Abstract Interpretation
2017-01-01 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
On topologies for (hyper)properties
2017-01-01 Pasqua, M.; Mastroeni, I.
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification
2017-01-01 Mastroeni, Isabella; Pasqua, Michele
Maximal incompleteness as obfuscation potency
2017-01-01 Giacobazzi, Roberto; Mastroeni, Isabella; DALLA PREDA, Mila
Abstract Program Slicing: An Abstract Interpretation-Based Approach to Program Slicing
2017-01-01 Mastroeni, Isabella; Damiano, Zanardini
KArMA - A Knowledge-Aided Monitoring Approach for SQL Injection Attacks
2017-01-01 Buro, Samuele; Mastroeni, Isabella
Verifying Bounded Subset-Closed Hyperproperties
2018-01-01 Mastroeni, Isabella; Pasqua, Michele
Abstract Code Injection: A Semantic Approach Based on Abstract Non-Interference
2018-01-01 Buro, Samuele; Mastroeni, Isabella
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