%0 Conference Paper %1 conf/icissp/MartinelliMN18 %A Martinelli, Fabio %A Mercaldo, Francesco %A Nardone, Vittoria %B ICISSP %D 2018 %E Mori, Paolo %E Furnell, Steven %E Camp, Olivier %I SciTePress %K dblp %P 589-596 %T Identifying Insecure Features in Android Applications using Model Checking. %U http://dblp.uni-trier.de/db/conf/icissp/icissp2018.html#MartinelliMN18 %@ 978-989-758-282-0

@inproceedings{conf/icissp/MartinelliMN18, added-at = {2018-04-11T00:00:00.000+0200}, author = {Martinelli, Fabio and Mercaldo, Francesco and Nardone, Vittoria}, biburl = {https://www.bibsonomy.org/bibtex/252277b299e660263fe335b096970ed50/dblp}, booktitle = {ICISSP}, crossref = {conf/icissp/2018}, editor = {Mori, Paolo and Furnell, Steven and Camp, Olivier}, ee = {https://doi.org/10.5220/0006758105890596}, interhash = {29c94e3dd2a0b3698ed0237be7af28f4}, intrahash = {52277b299e660263fe335b096970ed50}, isbn = {978-989-758-282-0}, keywords = {dblp}, pages = {589-596}, publisher = {SciTePress}, timestamp = {2018-04-12T11:44:13.000+0200}, title = {Identifying Insecure Features in Android Applications using Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/icissp/icissp2018.html#MartinelliMN18}, year = 2018 }