Will Klieber

According to our database1, Will Klieber authored at least 13 papers between 2010 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Detecting Leaks of Sensitive Data Due to Stale Reads.
Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Practical Precise Taint-flow Static Analysis for Android App Sets.
Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2016
Automated Code Repair Based on Inferred Specifications.
Proceedings of the IEEE Cybersecurity Development, 2016

An Architecture-Centric Process for MILS Development.
Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2016

Non-CNF QBF Solving with QCIR.
Proceedings of the Beyond NP, 2016

2015
Smartphone Security.
IEEE Pervasive Computing, 2015

On Conflicts and Strategies in QBF.
Proceedings of the 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, 2015

2014
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.
JSAT, 2014

Android taint flow analysis for app sets.
Proceedings of the 3rd ACM SIGPLAN International Workshop on the State Of the Art in Java Program analysis, 2014

2013
Solving QBF with Free Variables.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Solving QBF with Counterexample Guided Refinement.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011
Model Checking and the State Explosion Problem.
Proceedings of the Tools for Practical Software Verification, 2011

2010
A Non-prenex, Non-clausal QBF Solver with Game-State Learning.
Proceedings of the Theory and Applications of Satisfiability Testing, 2010


  Loading...