William Harris

According to our database1, William Harris authored at least 8 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.
Proceedings of the Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, 2018

2017
Efficient Protection of Path-Sensitive Control Security.
Proceedings of the 26th USENIX Security Symposium, 2017

Socioeconomically sustainable rural microgrid engineering design.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2017

Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Enforcing Kernel Security Invariants with Data Flow Integrity.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015
FlexJava: language support for safe and modular approximate programming.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2012
Secure Programming via Safety Games.
TinyToCS, 2012

2006
Generation and Selection of Novel Estrogen Receptor Ligands Using the De Novo Structure-Based Design Tool, SkelGen.
Journal of Chemical Information and Modeling, 2006


  Loading...