Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inferring Implicit Assumptions and Correct Usage of Mobile Payment Protocols., , , und . SecureComm, Volume 238 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 469-488. Springer, (2017)Quantitative Explainable AI For Face Recognition., , und . ICECCS, Seite 32-41. IEEE, (2023)Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus., , und . Formal Aspects in Security and Trust, Volume 6561 von Lecture Notes in Computer Science, Seite 223-238. Springer, (2010)Callback2Vec: Callback-aware hierarchical embedding for mobile application., , , , und . Inf. Sci., (2021)An Analytics Framework for Heuristic Inference Attacks against Industrial Control Systems., , , , , und . TrustCom, Seite 827-835. IEEE, (2020)Deep Review Sharing., , , , , , , und . SANER, Seite 61-72. IEEE, (2019)A Verification Framework for Stateful Security Protocols., , , , , , und . ICFEM, Volume 10610 von Lecture Notes in Computer Science, Seite 262-280. Springer, (2017)The Foul Adversary: Formal Models., und . ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 37-53. Springer, (2018)Formal Analysis of Privacy in an eHealth Protocol., , und . ESORICS, Volume 7459 von Lecture Notes in Computer Science, Seite 325-342. Springer, (2012)A Projection-Based Approach for Memory Leak Detection., , , , , , und . COMPSAC (2), Seite 430-435. IEEE Computer Society, (2018)978-1-5386-2667-2.