%0 Conference Paper %1 conf/icissp/MartinelliMNSV17 %A Martinelli, Fabio %A Mercaldo, Francesco %A Nardone, Vittoria %A Santone, Antonella %A Visaggio, Corrado Aaron %B ICISSP %D 2017 %E Mori, Paolo %E Furnell, Steven %E Camp, Olivier %I SciTePress %K dblp %P 673-682 %T Identifying Mobile Repackaged Applications through Formal Methods. %U http://dblp.uni-trier.de/db/conf/icissp/icissp2017.html#MartinelliMNSV17 %@ 978-989-758-209-7

@inproceedings{conf/icissp/MartinelliMNSV17, added-at = {2017-05-18T00:00:00.000+0200}, author = {Martinelli, Fabio and Mercaldo, Francesco and Nardone, Vittoria and Santone, Antonella and Visaggio, Corrado Aaron}, biburl = {https://www.bibsonomy.org/bibtex/2bdc9239fd5f1499742431521ad0d1595/dblp}, booktitle = {ICISSP}, crossref = {conf/icissp/2017}, editor = {Mori, Paolo and Furnell, Steven and Camp, Olivier}, ee = {https://doi.org/10.5220/0006287906730682}, interhash = {9e0eafa44823859cdbb3a3069c92ffbd}, intrahash = {bdc9239fd5f1499742431521ad0d1595}, isbn = {978-989-758-209-7}, keywords = {dblp}, pages = {673-682}, publisher = {SciTePress}, timestamp = {2017-05-20T01:59:55.000+0200}, title = {Identifying Mobile Repackaged Applications through Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/icissp/icissp2017.html#MartinelliMNSV17}, year = 2017 }