Formal Methods Meet Mobile Code Obfuscation

IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises

Poznan, Poland, June, 21-23, 2107

NeCS partner: Consiglio Nazionale delle Ricerche

Authors: 
Aniello Cimitile
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone