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

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.