• 1155 Citations
  • 18 h-Index
1987 …2020

Research output per year

If you made any changes in Pure these will be visible here soon.

Projects

Filter
Finished

Adaptive and verified wireless mesh protocols

McIver, A. & Portmann, M.

1/01/1031/12/12

Project: Research

Designing software for secrecy: Security-enabled program algebra

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

1/07/1031/12/13

Project: Research