No photo of Mark Ryan

View Scopus Profile

Mark Ryan

Prof

Accepting PhD Students

PhD projects

Mark Ryan’s work broadly concerns reasoning about computer systems, in order to verify their properties. In particular, he works on logic-based specification and verification of systems and programs. Professor Ryan’s research interests include:

Electronic voting, in particular, verification of voting protocols and systems
Verification of security properties in pervasive and ubiquitous computing
Balancing the requirements of security and privacy
Trusted computing and the Trusted Platform Module (TPM)
Access control systems

1995 …2023

Research activity per year

Filter
Other chapter contribution

Search results

  • 2014

    Stateful Applied Pi Calculus

    Arapinis, M., Liu, J., Ritter, E. & Ryan, M., 2014, Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Abadi, M. & Kremer, S. (eds.). Springer, Vol. 8414. p. 22-41 Chapter 2. (Lecture Notes in Computer Science; vol. 8414).

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

    9 Citations (Scopus)