6 Similar Profiles
Similarity is based on overlapping concepts in the fingerprints, and shared work and organisational affiliations of Mark Ryan with the persons below:
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