Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation., , , , and . Simul. Model. Pract. Theory, (2020)Image-based Malware Family Detection: An Assessment between Feature Extraction and Classification Techniques., , , and . IoTBDS, page 499-506. SCITEPRESS, (2020)Introducing Usage Control in MQTT., , , , and . CyberICPS/SECPRE@ESORICS, volume 10683 of Lecture Notes in Computer Science, page 35-43. Springer, (2017)Dependability in dynamic, evolving and heterogeneous systems: the connect approach., , , , and . SERENE, page 83-88. ACM, (2010)Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques., and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 148-162. Springer, (1999)I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware., , , and . PST, page 129-136. IEEE, (2016)Quantitative access control with partially-observable Markov decision processes., and . CODASPY, page 169-180. ACM, (2012)Detection of Obfuscation Techniques in Android Applications., , , , and . ARES, page 57:1-57:9. ACM, (2018)Modeling Privacy Aware Information Sharing Systems: A Formal and General Approach., , and . Trustcom/BigDataSE/ISPA, page 767-774. IEEE, (2016)On Probabilistic Application Compliance., , , and . Trustcom/BigDataSE/ISPA, page 1848-1855. IEEE, (2016)