Research output per year
Research output per year
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
Research activity per year
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research output: Working paper/Preprint › Preprint
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Working paper/Preprint › Preprint
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Conference article › peer-review
Oswald, D. (Principal Investigator) & Ryan, M. (Co-Investigator)
Engineering & Physical Science Research Council
1/09/23 → 31/08/26
Project: Research Councils
Ryan, M. (Co-Investigator), Thomas, R. (Co-Investigator), Ordean, M. (Co-Investigator), Garcia, F. (Co-Investigator), Oswald, D. (Principal Investigator), Muench, M. (Co-Investigator) & Sinha Roy, S. (Researcher)
Engineering & Physical Science Research Council
12/08/20 → 28/02/25
Project: Research Councils
Garcia, F. (Co-Investigator), Oswald, D. (Co-Investigator) & Ryan, M. (Principal Investigator)
Hewlett-Packard Incorporated Uk Ltd, Engineering & Physical Science Research Council
1/02/18 → 31/03/25
Project: Research
Oswald, D. (Co-Investigator) & Ryan, M. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/19 → 30/11/23
Project: Research Councils
Ryan, M. (Principal Investigator)
30/09/19 → 31/03/23
Project: Other Government Departments
27/05/15
1 Media contribution
Press/Media: Press / Media