( en | de | ru )

 

Disambiguierung von "Saïdi, Hassen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Homogeneity as an Advantage: It Takes a Community to Protect an Application.

, , , , , , , , , und . CollSec, USENIX Association, (2010)

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)Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement., , , , , , und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 548-563. Springer, (2012)The Invariant Checker: Automated Deductive Verification of Reactive Systems.. CAV, volume 1254 of Lecture Notes in Computer Science, page 436-439. Springer, (1997)Model Checking Guided Abstraction and Analysis.. SAS, volume 1824 of Lecture Notes in Computer Science, page 377-396. Springer, (2000)Security implications of Android: a closed system, open software mobile platform.. SPSM@CCS, page 87-88. ACM, (2011)Towards Automated Augmentation and Instrumentation of Legacy Cryptographic Executables., , , and . ACNS (2), volume 12147 of Lecture Notes in Computer Science, page 364-384. Springer, (2020)Discovering Symmetries.. FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 67-83. Springer, (2006)math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories., , and . CoRR, (2023)An Analysis of the iKee.B iPhone Botnet., , and . MobiSec, volume 47 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 141-152. Springer, (2010)Protocol Codesign., , and . Security Protocols Workshop, volume 3364 of Lecture Notes in Computer Science, page 106-113. Springer, (2003)