Improving the Security of Infrastructure Software

Project Details

StatusActive
Effective start/end date19/05/2010 → …

Funding

  • Forskningsrådet for Teknologi og Produktion (FTP)

Keywords

  • infrastructure software
  • static analysis
  • security
  • program transformation
  • coccinelle