Autor der Publikation

$K$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications.

, , und . FPS, Volume 13291 von Lecture Notes in Computer Science, Seite 321-337. Springer, (2021)

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

Cryptographic protocol for multipart missions involving two independent and distributed decision levels in a military context., , , , , und . SMC, Seite 1127-1132. IEEE, (2017)FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7., , , , , und . ECAI, Seite 1-5. IEEE, (2022)Formal and Automatic Security Policy Enforcement on Android Applications by Rewriting., , und . SoMeT, Volume 337 von Frontiers in Artificial Intelligence and Applications, Seite 85-98. IOS Press, (2021)Using an Intelligent Vision System for Obstacle Detection in Winter Condition., , , , und . VEHITS, Seite 562-568. SciTePress, (2019)$K$-Smali: An Executable Semantics for Program Verification of Reversed Android Applications., , und . FPS, Volume 13291 von Lecture Notes in Computer Science, Seite 321-337. Springer, (2021)Formal Enforcement of Security Policies on Parallel Systems with Risk Integration., und . C2SI, Volume 9084 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2015)FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7., , , , , und . CoRR, (2023)Extreme Gradient Boosting for Cyberpropaganda Detection., , und . SoMeT, Volume 337 von Frontiers in Artificial Intelligence and Applications, Seite 99-112. IOS Press, (2021)Introduction to SinJAR (a New Tool for Reverse Engineering Java Applications) and Tracing Its Malicious Actions Using Hidden Markov Models., , , , und . SoMeT, Volume 297 von Frontiers in Artificial Intelligence and Applications, Seite 441-453. IOS Press, (2017)SpamDL: A High Performance Deep Learning Spam Detector Using Stanford Global Vectors and Bidirectional Long Short-Term Memory Neural Networks., , , und . SoMeT, Volume 355 von Frontiers in Artificial Intelligence and Applications, Seite 143-162. IOS Press, (2022)