Mark D. Ryan

Mark D. Ryan

University of Birmingham - Birmingham / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4321675
person_outline Mark D. Ryan's MOST POPULAR ARTICLES
1-) Logic in Computer Science: Modelling and reasoning about systemsM Huth, M RyanCambridge Univ Pr, 200423672004
2-) Verifying properties of electronic voting protocolsS Delaunein " Proceedings of the IAVoSS Workshop On Trustworthy Elections (WOTE’06, 2006434*2006
3-) Cloud computing security: The scientific challenge, and a survey of solutionsMD RyanJournal of Systems and Software 86 (9), 2263-2268, 20133492013
4-) Analysis of an electronic voting protocol in the applied pi calculusS Kremer, M RyanEuropean Symposium on Programming, 186-200, 20053422005
5-) Cloud computing privacy concerns on our doorstepMD RyanCommunications of the ACM 54 (1), 36-38, 20112822011