Mark Dermot Ryan

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 10

Top Topics

Electronic Voting

Formal Analysis

Individual Privacy

Security Properties

Top Venues

Security Protocols Workshop

IACR Cryptol. ePrint Arch.

Publications

Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan
Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. STM (2020)
Michael Denzel, Mark Dermot Ryan
Malware Tolerant (Mesh-)Networks. CANS (2018)
Mark Dermot Ryan
Making Decryption Accountable. Security Protocols Workshop (2017)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan
Analysis of privacy in mobile telephony systems. Int. J. Inf. Sec. 16 (5) (2017)
Mark Dermot Ryan
Making Decryption Accountable (Transcript of Discussion). Security Protocols Workshop (2017)
Michael Denzel, Alessandro Bruni, Mark Dermot Ryan
Smart-Guard: Defending User Input from Malware. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld (2016)
Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Manifestos 5 (1) (2015)
Ben Smyth, Mark Dermot Ryan, Liqun Chen
Formal analysis of privacy in Direct Anonymous Attestation schemes. Sci. Comput. Program. 111 (2015)
Jiangshan Yu, Mark Dermot Ryan
Device Attacker Models: Fact and Fiction. Security Protocols Workshop (2015)
Gurchetan S. Grewal, Mark Dermot Ryan, Liqun Chen, Michael R. Clarkson
Du-Vote: Remote Electronic Voting with Untrusted Computers. CSF (2015)
Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Reports 4 (9) (2014)
Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of stateful processes. J. Comput. Secur. 22 (5) (2014)
Mark Dermot Ryan
Enhanced Certificate Transparency and End-to-End Encrypted Mail. NDSS (2014)
Jia Liu, Mark Dermot Ryan, Liqun Chen
Balancing Societal Security and Individual Privacy: Accountable Escrow System. CSF (2014)
Mark Dermot Ryan
Enhanced certificate transparency (how Johnny could encrypt). IACR Cryptol. ePrint Arch. 2013 (2013)
Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
Caveat Coercitor: Coercion-Evidence in Electronic Voting. IEEE Symposium on Security and Privacy (2013)
Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
Composition of password-based protocols. Formal Methods Syst. Des. 43 (3) (2013)
Mark Dermot Ryan
Cloud computing security: The scientific challenge, and a survey of solutions. J. Syst. Softw. 86 (9) (2013)
Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. POST (2012)
Ben Smyth, Mark Dermot Ryan, Liqun Chen
Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptol. ePrint Arch. 2012 (2012)
Mark Dermot Ryan
Automatic Analysis of Security Properties of the TPM. INTRUST (2012)
Sergiu Bursuc, Gurchetan S. Grewal, Mark Dermot Ryan
Trivitas: Voters Directly Verifying Votes. VoteID (2011)
Mark Dermot Ryan
Cloud computing privacy concerns on our doorstep. Commun. ACM 54 (1) (2011)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
Formal Analysis of Protocols Based on TPM State Registers. CSF (2011)
Myrto Arapinis, Eike Ritter, Mark Dermot Ryan
StatVerif: Verification of Stateful Processes. CSF (2011)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
Symbolic bisimulation for the applied pi calculus. J. Comput. Secur. 18 (2) (2010)
Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust (2010)
Aybek Mukhamedov, Mark Dermot Ryan
Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. ACM Trans. Inf. Syst. Secur. 13 (4) (2010)
King Ables, Mark Dermot Ryan
Escrowed Data and the Digital Envelope. TRUST (2010)
Aybek Mukhamedov, Mark Dermot Ryan
Fair multi-party contract signing using private contract signatures. Inf. Comput. 206 (2-4) (2008)
Anongporn Salaiwarakul, Mark Dermot Ryan
Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. ISPEC (2008)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9 (1) (2007)
Aybek Mukhamedov, Mark Dermot Ryan
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. TGC (2007)
Liqun Chen, Steve Kremer, Mark Dermot Ryan
07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied (2007)
Liqun Chen, Steve Kremer, Mark Dermot Ryan
07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied (2007)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Synthesising Features by Games. Electron. Notes Theor. Comput. Sci. 145 (2006)
Aybek Mukhamedov, Mark Dermot Ryan
Resolve-Impossibility for a Contract-Signing Protocol. CSFW (2006)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Model-checking the Preservation of Temporal Properties upon Feature Integration. Electron. Notes Theor. Comput. Sci. 128 (6) (2005)
Aybek Mukhamedov, Mark Dermot Ryan
On Anonymity with Identity Escrow. Formal Aspects in Security and Trust (2005)
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
Feature Integration as Substitution. FIW (2003)
John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
Objects, Agents, and Features: An Introduction. Objects, Agents, and Features (2003)
Malte Plath, Mark Dermot Ryan
The feature construct for SMV: Semantics. FIW (2000)
Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks (2000)
Malte Plath, Mark Dermot Ryan
Defining Features for CSP: Reflections on the Feature Interaction Contest. FIREworks (2000)
Malte Plath, Mark Dermot Ryan
Plug-and-play Features. FIW (1998)