Domagoj Babic - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Domagoj Babic' as author, editor, or advisor:

Input generation via decomposition and re-stitching: finding bugs in MalwareJuan Caballero, Pongsin Poosankam, Stephen McCamant, Domagoj Babic, Dawn Song. ccs 2010: 413-425 [doi]
FUDGE: fuzz driver generation at scaleDomagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang. FSE 2019: 975-985 [doi]
Asynchronously Communicating Visibly Pushdown SystemsDomagoj Babic, Zvonimir Rakamaric. forte 2013: 225-241 [doi]
Statically-directed dynamic automated test generationDomagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song. ISSTA 2011: 12-22 [doi]
Inference and analysis of formal models of botnet command and control protocolsChia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song. ccs 2010: 426-439 [doi]
Efficient SAT solving: beyond supercubesDomagoj Babic, Jesse D. Bingham, Alan J. Hu. dac 2005: 744-749 [doi]
Integration of supercubing and learning in a SAT solverDomagoj Babic, Alan J. Hu. aspdac 2005: 438-444 [doi]
Structural Abstraction of Software Verification ConditionsDomagoj Babic, Alan J. Hu. cav 2007: 366-378 [doi]
Exploiting Shared Structure in Software Verification ConditionsDomagoj Babic, Alan J. Hu. hvc 2008: 169-184 [doi]
Proving termination of nonlinear command sequencesDomagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric. fac, 25(3):389-403, 2013. [doi]
A scalable, flow-and-context-sensitive taint analysis of android applicationsWontae Choi, Jayanthkumar Kannan, Domagoj Babic. JCL (JVLC), 51:1-14, 2019. [doi]
B-Cubing: New Possibilities for Efficient SAT-SolvingDomagoj Babic, Jesse D. Bingham, Alan J. Hu. TC, 55(11):1315-1324, 2006. [doi]
Recognizing malicious software behaviors with tree automata inferenceDomagoj Babic, Daniel Reynaud, Dawn Song. fmsd, 41(1):107-128, 2012. [doi]
Extraction of statistically significant malware behaviorsSirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer. acsac 2013: 69-78 [doi]
Approximating the safely reusable set of learned factsDomagoj Babic, Alan J. Hu. STTT, 11(4):325-338, 2009. [doi]
Calysto: scalable and precise extended static checkingDomagoj Babic, Alan J. Hu. ICSE 2008: 211-220 [doi]
Malware Analysis with Tree Automata InferenceDomagoj Babic, Daniel Reynaud, Dawn Song. cav 2011: 116-131 [doi]
SunDew: systematic automated security testing (keynote)Domagoj Babic. spin 2017: 10 [doi]
MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability DiscoveryChia Yuan Cho, Domagoj Babic, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, Dawn Song. uss 2011: [doi]
Proving Termination by DivergenceDomagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook. SEFM 2007: 93-102 [doi]
Sigma*: symbolic learning of input-output specificationsMatko Botincan, Domagoj Babic. POPL 2013: 443-456 [doi]
B-cubing theory: new possibilities for efficient SAT-solvingDomagoj Babic, Jesse D. Bingham, Alan J. Hu. hldvt 2005: 192-199 [doi]
Boosting Verification by Automatic Tuning of Decision ProceduresFrank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu. FMCAD 2007: 27-34 [doi]

runs on WebDSL