Improving the Security of Infrastructure Software

Project Details

StatusFinished
Effective start/end date19/05/200818/05/2011

Collaborative partners

  • DIKU (Project partner)

Funding

  • Forskningsrådet for Teknologi og Produktion (FTP)

Keywords

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