( en | de | ru )

 

Disambiguierung von "Babic, Domagoj"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inference and analysis of formal models of botnet command and control protocols.

, , , und . ACM Conference on Computer and Communications Security, Seite 426-439. ACM, (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.

Danijel Babic

Domagoj CÌ0osi

Marko Babic

Goran Babic

Aleksei Babich

 

Weitere Publikationen von Autoren mit dem selben Namen

A scalable, flow-and-context-sensitive taint analysis of android applications., , und . J. Comput. Lang., (2019)Efficient SAT solving: beyond supercubes., , und . DAC, Seite 744-749. ACM, (2005)Sigma*: symbolic learning of input-output specifications., und . POPL, Seite 443-456. ACM, (2013)B-cubing theory: new possibilities for efficient SAT-solving., , und . HLDVT, Seite 192-199. IEEE Computer Society, (2005)Inference and analysis of formal models of botnet command and control protocols., , , und . ACM Conference on Computer and Communications Security, Seite 426-439. ACM, (2010)Structural Abstraction of Software Verification Conditions., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 366-378. Springer, (2007)SunDew: systematic automated security testing (keynote).. SPIN, Seite 10. ACM, (2017)Proving Termination by Divergence., , , und . SEFM, Seite 93-102. IEEE Computer Society, (2007)Integration of supercubing and learning in a SAT solver., und . ASP-DAC, Seite 438-444. ACM Press, (2005)MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery., , , , , und . USENIX Security Symposium, USENIX Association, (2011)