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
Fingerprint
Dive into the research topics where Mark Ryan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.