Mark Ryan

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

2 results

Filter

2011

The Applied pi calculus
Ryan, M., Smyth, B., Cortier, V. & Kremer, S., 1 Jan 2011, Formal Models and Techniques for Analyzing Security Protocols.
Research output: Chapter in Book/Report/Conference proceeding › Chapter
2004

Giving life to agent interactions
Bowles, J., Ryan, M., Meyer, J-J. & Ehrich, H-D., 1 Jan 2004, Agent, Objects and Features: Structuring mechanisms for contemporary software.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Mark Ryan

Research output

Search results

The Applied pi calculus

Giving life to agent interactions