Hai Zhou Ling

According to our database1, Hai Zhou Ling authored at least 5 papers between 2008 and 2010.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Security Evaluation and Hardening of Free and Open Source Software (FOSS).
ECEASST, 2010

2009
A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

2008
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper).
Proceedings of the Eighth International Conference on Quality Software, 2008

Towards Automation of Testing High-Level Security Properties.
Proceedings of the Data and Applications Security XXII, 2008

A Hybrid Approach for Safe Memory Management in C.
Proceedings of the Algebraic Methodology and Software Technology, 2008


  Loading...