dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Domagoj Babic (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomagoj Babic, Daniel Reynaud, Dawn Song: Recognizing malicious software behaviors with tree automata inference. Formal Methods in System Design 41(1): 107-128 (2012)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomagoj Babic, Daniel Reynaud, Dawn Song: Malware Analysis with Tree Automata Inference. CAV 2011: 116-131
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song: Statically-directed dynamic automated test generation. ISSTA 2011: 12-22
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChia Yuan Cho, Domagoj Babic, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, Dawn Song: MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery. USENIX Security Symposium 2011
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song: Input generation via decomposition and re-stitching: finding bugs in Malware. ACM Conference on Computer and Communications Security 2010: 413-425
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song: Inference and analysis of formal models of botnet command and control protocols. ACM Conference on Computer and Communications Security 2010: 426-439

Selection of 6 from 15 records - Domagoj Babic has 16 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page