• 1219 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

Designing software for secrecy: Security-enabled program algebra

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

1/07/1031/12/13

Project: Research

Adaptive and verified wireless mesh protocols

McIver, A. & Portmann, M.

1/01/1031/12/12

Project: Research