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

Research Outputs 1987 2019

Filter
Chapter
2016

Program refinement, perfect secrecy and information flow

McIver, A. K., 2016, Engineering Trustworthy Software Systems - 1st International School, SETSS 2014, Tutorial Lectures. Liu, Z. & Zhang, Z. (eds.). 1st ed. Cham, Switzerland: Springer, Springer Nature, Vol. 9506. p. 80-102 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9506).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Information Flow
Data structures
Refinement
Hardness
Acoustic waves
2011

On probabilistic Kleene algebras, automata and simulations

McIver, A., Rabehaja, T. M. & Struth, G., 2011, Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. de Swart, H. (ed.). Heidelberg: Springer, Springer Nature, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 6663).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Kleene Algebra
Algebra
Automata
Simulation
Modulo
2010

The Thousand-and-one cryptographers

McIver, A. K. & Morgan, C. C., 2010, Reflections on the work of C.A.R. Hoare. Roscoe, A. W., Jones, C. B. & Wood, K. B. (eds.). London: Springer, Springer Nature, p. 255-282 28 p. (History of computing).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

abstraction
experience
2009

Security, probability and nearly fair coins in the cryptographers' café

McIver, A., Meinicke, L. & Morgan, C., 2009, FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings. Cavalcanti, A. & Dams, D. R. (eds.). Berlin: Springer, Springer Nature, p. 41-71 31 p. (Lecture Notes in Computer Science; vol. 5850).

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

Formal methods
Refinement
Software engineering
Formal Methods
Software Development