Domagoj Babic

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