( en | de | ru )

 

Disambiguierung von "Saïdi, Hassen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Aurasium: Practical Policy Enforcement for Android Applications.

, , und . USENIX Security Symposium, Seite 539-552. USENIX Association, (2012)

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.

Reinhard Haßenpflug

Abbas Saidi

Mohammed Hassen

Andreas Saidi

Yacine Saidi

 

Weitere Publikationen von Autoren mit dem selben Namen

Guarded models for intrusion detection.. PLAS, Seite 85-94. ACM, (2007)Model Checking Guided Abstraction and Analysis.. SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 377-396. Springer, (2000)The Invariant Checker: Automated Deductive Verification of Reactive Systems.. CAV, Volume 1254 von Lecture Notes in Computer Science, Seite 436-439. Springer, (1997)Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables., , , und . ACNS (2), Volume 12147 von Lecture Notes in Computer Science, Seite 364-384. Springer, (2020)Security implications of Android: a closed system, open software mobile platform.. SPSM@CCS, Seite 87-88. ACM, (2011)Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement., , , , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 548-563. Springer, (2012)An Analysis of the iKee.B iPhone Botnet., , und . MobiSec, Volume 47 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 141-152. Springer, (2010)Discovering Symmetries.. FMICS/PDMC, Volume 4346 von Lecture Notes in Computer Science, Seite 67-83. Springer, (2006)math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories., , und . CoRR, (2023)Abstract and Model Check While You Prove., und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 443-454. Springer, (1999)