• 1096 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Projects 2008 2021

More information for better utility; less information for better privacy

McIver, A., Morgan, C., Teague, V., Schneider, S., MQRES, M. & PhD Contribution (ARC), P. C. (.

26/03/14 → …

Project: Research

Designing software for secrecy: Security-enabled program algebra

McIver, A., Morgan, C., Newton, J. & Butler, M.


Project: Research

Adaptive and verified wireless mesh protocols

McIver, A. & Portmann, M.


Project: Research