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

Scrutinizing Implementations of Smart Home Integrations., , , , , , und . IEEE Trans. Software Eng., 47 (12): 2667-2683 (2021)Identifying privacy weaknesses from multi-party trigger-action integration platforms., , , , , , , und . ISSTA, Seite 2-15. ACM, (2021)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)Towards Better Generalization for Neural Network-Based SAT Solvers., , , , , , und . PAKDD (2), Volume 13281 von Lecture Notes in Computer Science, Seite 199-210. Springer, (2022)A Light-Weight Software Environment for Confining Android Malware., , , , und . SERE (Companion), Seite 158-167. IEEE, (2014)Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs., , , , , , und . ASE, Seite 1403-1415. IEEE, (2023)Better Together: Attaining the Triad of Byzantine-robust Federated Learning via Local Update Amplification., , , und . ACSAC, Seite 201-213. ACM, (2022)Sharing runtime permission issues for developers based on similar-app review mining., , , , , , und . J. Syst. Softw., (2022)DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S)., , , und . SEKE, Seite 172-176. KSI Research Inc., (2021)Security Checking of Trigger-Action-Programming Smart Home Integrations., , , , , , und . ISSTA, Seite 639-651. ACM, (2023)