Artikel dengan mandat akses publik - Isabella MastroeniPelajari lebih lanjut
Tersedia di suatu tempat: 7
Abstract symbolic automata: Mixed syntactic/semantic similarity analysis of executables
M Dalla Preda, R Giacobazzi, A Lakhotia, I Mastroeni
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Mandat: Government of Italy
Maximal incompleteness as obfuscation potency
R Giacobazzi, I Mastroeni, M Dalla Preda
Formal Aspects of Computing 29, 3-31, 2017
Mandat: Government of Italy
Modelling declassification policies using abstract domain completeness
I Mastroeni, A Banerjee
Mathematical Structures in Computer Science 21 (6), 1253-1299, 2011
Mandat: Government of Spain
Characterizing a property-driven obfuscation strategy
M Dalla Preda, I Mastroeni
Journal of Computer Security 26 (1), 31-69, 2017
Mandat: Government of Italy
Completeness in approximate transduction
M Dalla Preda, R Giacobazzi, I Mastroeni
Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016
Mandat: Government of Italy
MIME: A formal approach to (android) emulation malware analysis
F Bellini, R Chiodi, I Mastroeni
International Symposium on Foundations and Practice of Security, 259-267, 2015
Mandat: Government of Italy
Infections as abstract symbolic finite automata: formal model and applications
M Dalla Preda, I Mastroeni
2015 IEEE/ACM 1st International Workshop on Software Protection, 59-65, 2015
Mandat: Government of Italy
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer