Domagoj Babic

Publication Activity (10 Years)

Years Active: 2005-2019
Publications (10 Years): 3

Top Topics

Statistically Significant

Rewrite Systems

Experimental Group

Top Venues

J. Comput. Lang.

Formal Aspects Comput.

Publications

Wontae Choi, Jayanthkumar Kannan, Domagoj Babic
A scalable, flow-and-context-sensitive taint analysis of android applications. J. Comput. Lang. 51 (2019)
Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
FUDGE: fuzz driver generation at scale. ESEC/SIGSOFT FSE (2019)
Domagoj Babic
SunDew: systematic automated security testing (keynote). SPIN (2017)
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
Proving termination of nonlinear command sequences. Formal Aspects Comput. 25 (3) (2013)
Matko Botincan, Domagoj Babic
Sigma*: symbolic learning of input-output specifications. POPL (2013)
Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer
Extraction of statistically significant malware behaviors. ACSAC (2013)
Domagoj Babic, Zvonimir Rakamaric
Asynchronously Communicating Visibly Pushdown Systems. FMOODS/FORTE (2013)
Domagoj Babic, Daniel Reynaud, Dawn Song
Recognizing malicious software behaviors with tree automata inference. Formal Methods Syst. Des. 41 (1) (2012)
Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song
Statically-directed dynamic automated test generation. ISSTA (2011)
Chia 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)
Domagoj Babic, Daniel Reynaud, Dawn Song
Malware Analysis with Tree Automata Inference. CAV (2011)
Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song
Inference and analysis of formal models of botnet command and control protocols. CCS (2010)
Juan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song
Input generation via decomposition and re-stitching: finding bugs in Malware. CCS (2010)
Domagoj Babic, Alan J. Hu
Approximating the safely reusable set of learned facts. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Domagoj Babic, Alan J. Hu
Calysto: scalable and precise extended static checking. ICSE (2008)
Domagoj Babic, Alan J. Hu
Structural Abstraction of Software Verification Conditions. CAV (2007)
Domagoj Babic, Alan J. Hu
Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference (2007)
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook
Proving Termination by Divergence. SEFM (2007)
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu
Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD (2007)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55 (11) (2006)
Domagoj Babic, Alan J. Hu
Integration of supercubing and learning in a SAT solver. ASP-DAC (2005)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
B-cubing theory: new possibilities for efficient SAT-solving. HLDVT (2005)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
Efficient SAT solving: beyond supercubes. DAC (2005)