Designing software for secrecy: Security-enabled program algebra

  • McIver, Annabelle (Primary Chief Investigator)
  • Morgan, Charles (Chief Investigator)
  • Newton, Jennifer, (Other)
  • Butler, Michael (Partner Investigator)

Project: Research

Project Details

StatusFinished
Effective start/end date1/07/1031/12/13