Autor der Publikation

TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.

, und . IEEE Trans. Inf. Forensics Secur., (2022)

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

An Image Arbitrary-Scale Super-Resolution Network Using Frequency-domain Information., , , , und . ACM Trans. Multim. Comput. Commun. Appl., 20 (3): 81:1-81:23 (März 2024)A Points-to-Sensitive Model Checker for C Programs in IoT Firmware., , und . IEEE Internet Things J., 9 (19): 18998-19011 (2022)A Temporal-Pattern Backdoor Attack to Deep Reinforcement Learning., , , , und . GLOBECOM, Seite 2710-2715. IEEE, (2022)Automatic Detection for Privacy Violations in Android Applications., , , und . IEEE Internet Things J., 9 (8): 6159-6172 (2022)Fault Management in Software-Defined Networking: A Survey., , , , , , , , , und . IEEE Commun. Surv. Tutorials, 21 (1): 349-392 (2019)Thinking inside the Box: Differential Fault Localization for SDN Control Plane., , , , , und . IM, Seite 353-359. IFIP, (2019)Falcon: Differential fault localization for SDN control plane., , , , und . Comput. Networks, (2019)A Scale-Arbitrary Image Super-Resolution Network Using Frequency-domain Information., , , , und . CoRR, (2022)TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems., und . IEEE Trans. Inf. Forensics Secur., (2022)Joint optimization of service request routing and instance placement in the microservice system., , , , und . J. Netw. Comput. Appl., (2019)