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

Mobile Silent and Continuous Authentication using Apps Sequence., , , , , , and . SECRYPT, page 79-91. SciTePress, (2017)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)Detection of Obfuscation Techniques in Android Applications., , , , and . ARES, page 57:1-57:9. ACM, (2018)Privacy-Preserving Energy-Reading for Smart Meter., and . ICOST, volume 9102 of Lecture Notes in Computer Science, page 165-177. Springer, (2015)Quantitative access control with partially-observable Markov decision processes., and . CODASPY, page 169-180. ACM, (2012)I find your behavior disturbing: Static and dynamic app behavioral analysis for detection of Android malware., , , and . PST, page 129-136. IEEE, (2016)Real-Time SCADA Attack Detection by Means of Formal Methods., , and . WETICE, page 231-236. IEEE, (2019)Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques., and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 148-162. Springer, (1999)Towards an Integrated Formal Analysis for Security and Trust.. FMOODS, volume 3535 of Lecture Notes in Computer Science, page 115-130. Springer, (2005)