PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Babic, Domagoj"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A scalable, flow-and-context-sensitive taint analysis of android applications.

, , und . J. Comput. Lang., (2019)

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.

Keine Personen gefunden für den Autorennamen Babic, Domagoj
Eine Person hinzufügen mit dem Namen Babic, Domagoj
 

Weitere Publikationen von Autoren mit dem selben Namen

A scalable, flow-and-context-sensitive taint analysis of android applications., , und . J. Comput. Lang., (2019)Proving Termination by Divergence., , , und . SEFM, Seite 93-102. IEEE Computer Society, (2007)Malware Analysis with Tree Automata Inference., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 116-131. Springer, (2011)Structural Abstraction of Software Verification Conditions., und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 366-378. Springer, (2007)Input generation via decomposition and re-stitching: finding bugs in Malware., , , , und . ACM Conference on Computer and Communications Security, Seite 413-425. ACM, (2010)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)SunDew: systematic automated security testing (keynote).. SPIN, Seite 10. ACM, (2017)B-cubing theory: new possibilities for efficient SAT-solving., , und . HLDVT, Seite 192-199. IEEE Computer Society, (2005)Sigma*: symbolic learning of input-output specifications., und . POPL, Seite 443-456. ACM, (2013)Efficient SAT solving: beyond supercubes., , und . DAC, Seite 744-749. ACM, (2005)