Code obfuscation against symbolic execution attacks S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner Proceedings of the 32nd Annual Conference on Computer Security Applications …, 2016 | 252 | 2016 |
Impact of community structure on SAT solver performance Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 100 | 2014 |
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers KC Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian ... Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 30* | 2015 |
A propagation rate based splitting heuristic for divide-and-conquer solvers S Nejati, Z Newsham, J Scott, JH Liang, C Gebotys, P Poupart, V Ganesh Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017 | 23 | 2017 |
Code obfuscation against symbolic execution attacks, ACSAC’16: Proc S Banescu, C Collberg, V Ganesh, Z Newsham, A Pretschner 32nd Ann. Conf. on Computer Security Applications, 189-200, 2016 | 7 | 2016 |
Predicting SAT solver performance on heterogeneous hardware Z Newsham, V Ganesh, S Fischmeister Proc. Pragmatics SAT 59, 18-33, 2019 | 1 | 2019 |
Intersert: assertions on distributed process interaction sessions Z Newsham, AB De Oliveira, JC Petkovich, ASU Rehman, ... 2017 IEEE International Conference on Software Quality, Reliability and …, 2017 | 1 | 2017 |
An Analysis of the Effect of Community Structure on SAT Solver Performance Z Newsham University of Waterloo, 2015 | | 2015 |
CPSNA 2014 List of Additional Reviewers F Pacheco, G Carjaval, N Kumar, S Ullah, Z Newsham, R Babae | | |