Domagoj Babic
Domagoj Babic
Senior Research Scientist, Google, Inc.
Geverifieerd e-mailadres voor cs.berkeley.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Inference and analysis of formal models of botnet command and control protocols
CY Cho, D Babi ć, ECR Shin, D Song
Proceedings of the 17th ACM conference on Computer and communications …, 2010
2092010
Calysto: scalable and precise extended static checking
D Babic, AJ Hu
Proceedings of the 30th international conference on Software engineering …, 2008
1752008
Boosting verification by automatic tuning of decision procedures
F Hutter, D Babic, HH Hoos, AJ Hu
Formal Methods in Computer Aided Design (FMCAD'07), 27-34, 2007
1612007
Statically-directed dynamic automated test generation
D Babić, L Martignoni, S McCamant, D Song
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
1542011
MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery.
CY Cho, D Babic, P Poosankam, KZ Chen, EXJ Wu, D Song
USENIX Security Symposium 139, 2011
1292011
Structural abstraction of software verification conditions
D Babić, AJ Hu
International Conference on Computer Aided Verification, 366-378, 2007
812007
Input generation via decomposition and re-stitching: Finding bugs in malware
J Caballero, P Poosankam, S McCamant, D Babi ć, D Song
Proceedings of the 17th ACM conference on Computer and communications …, 2010
742010
Sigma* symbolic learning of input-output specifications
M Botinčan, D Babić
ACM SIGPLAN Notices 48 (1), 443-456, 2013
662013
Malware analysis with tree automata inference
D Babić, D Reynaud, D Song
International Conference on Computer Aided Verification, 116-131, 2011
592011
Spear theorem prover
D Babic, F Hutter
Solver description, SAT competition 2007, 2007
422007
Exploiting structure for scalable software verification
D Babic
PhD thesis, University of British Columbia, Vancouver, Canada, 2008
362008
Modular arithmetic decision procedure
D Babic, M Musuvathi
Microsoft Research Redmond, Tech. Rep. TR-2005-114, 2005
362005
Extraction of statistically significant malware behaviors
S Palahan, D Babić, S Chaudhuri, D Kifer
Proceedings of the 29th Annual Computer Security Applications Conference, 69-78, 2013
342013
Proving termination by divergence
D Babic, AJ Hu, Z Rakamaric, B Cook
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
242007
Proving termination of nonlinear command sequences
D Babić, B Cook, AJ Hu, Z Rakamarić
Formal Aspects of Computing 25 (3), 389-403, 2013
172013
Fudge: fuzz driver generation at scale
D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ...
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
162019
Testing applications with a defined input format
F Ivancic, L Szekeres, D Babic
US Patent 9,977,729, 2018
162018
Recognizing malicious software behaviors with tree automata inference
D Babić, D Reynaud, D Song
Formal Methods in System Design 41 (1), 107-128, 2012
152012
B-cubing: New possibilities for efficient sat-solving
D Babic, J Bingham, AJ Hu
IEEE Transactions on Computers 55 (11), 1315-1324, 2006
112006
Java simulator of real-time scheduling algorithms
G Jakovljevic, Z Rakamaric, D Babic
ITI 2002. Proceedings of the 24th International Conference on Information …, 2002
102002
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20