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

Search results