Folgen
Zack Newsham
Zack Newsham
Bestätigte E-Mail-Adresse bei uwaterloo.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2282016
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
912014
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
27*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
232017
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
72016
Predicting SAT solver performance on heterogeneous hardware
Z Newsham, V Ganesh, S Fischmeister
Proc. Pragmatics SAT 59, 18-33, 2019
12019
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
12017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9