Improving the Security of Infrastructure Software

Hansen, René Rydhof (Project Applicant)
Lawall, Julia (Project Licensee)

Department of Computer Science

1 Journal article
1 Conference article in Journal

2 results

Conference article in Journal

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification
Olesen, M. C., Hansen, R. R., Lawall, J. L. & Palix, N. J-M., Oct 2014, In: Science of Computer Programming. 91, Part B, p. 141-160
Research output: Contribution to journal › Conference article in Journal › Research › peer-review

File

9 Citations (Scopus)

616 Downloads (Pure)
Journal article

WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process
Lawall, J., Brunel, J. P. M., Palix, N. J-M., Hansen, R. R., Stuart, H. & Muller, G., Jan 2013, In: Software: Practice & Experience. 43, 1, p. 67-92
Research output: Contribution to journal › Journal article › Research › peer-review

13 Citations (Scopus)