Identifying Mobile Repackaged Applications through Formal Methods

Type: 
Workshop
Authors: 
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Antonella Santone
URL: 
http://www.scitepress.org/Papers/2017/62879/62879.pdf
Conference: 
1st International Workshop on FORmal methods for Security Engineering (ForSE 2017 @ICISSP 2017)
Date: 
Sunday, 19 February, 2017 to Tuesday, 21 February, 2017