Mark Dermot Ryan

57 papers A* 2A 5B 2C 3Journal 14Unranked 23

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels. RAID Jesse Spielman, David F. Oswald, Mark Dermot Ryan, Jo Van Bulck
2025	B	`conf`	FaultSpy: On the Insecurity of SPDM Protocols under Fault Injection. TrustCom Peiyao Sun, Qifan Wang, David F. Oswald, Mark Dermot Ryan, Vladimiro Sassone, Ahmad Atamli
2020	—	`conf`	Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. STM Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan
2018	B	`conf`	Malware Tolerant (Mesh-)Networks. CANS Michael Denzel, Mark Dermot Ryan
2017	J	`jnl`	Analysis of privacy in mobile telephony systems. Int. J. Inf. Sec. Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Dermot Ryan
2017	—	`conf`	Making Decryption Accountable (Transcript of Discussion). Security Protocols Workshop Mark Dermot Ryan
2017	—	`conf`	Making Decryption Accountable. Security Protocols Workshop Mark Dermot Ryan
2016	—	`conf`	Smart-Guard: Defending User Input from Malware. UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld Michael Denzel, Alessandro Bruni, Mark Dermot Ryan
2015	—	`conf`	Device Attacker Models: Fact and Fiction. Security Protocols Workshop Jiangshan Yu, Mark Dermot Ryan
2015	A	`conf`	Du-Vote: Remote Electronic Voting with Untrusted Computers. CSF Gurchetan S. Grewal, Mark Dermot Ryan, Liqun Chen, Michael R. Clarkson
2015	J	`jnl`	Formal analysis of privacy in Direct Anonymous Attestation schemes. Sci. Comput. Program. Ben Smyth, Mark Dermot Ryan, Liqun Chen
2015	J	`jnl`	Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Manifestos Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
2014	A	`conf`	Balancing Societal Security and Individual Privacy: Accountable Escrow System. CSF Jia Liu, Mark Dermot Ryan, Liqun Chen
2014	A*	`conf`	Enhanced Certificate Transparency and End-to-End Encrypted Mail. NDSS Mark Dermot Ryan
2014	J	`jnl`	Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Reports Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
2014	—	`book`	Privacy vs. Security Sophie Stalla-Bourdillon, Joshua Phillips, Mark Dermot Ryan
2014	J	`jnl`	StatVerif: Verification of stateful processes. J. Comput. Secur. Myrto Arapinis, Joshua Phillips, Eike Ritter, Mark Dermot Ryan
2013	A*	`conf`	Caveat Coercitor: Coercion-Evidence in Electronic Voting. IEEE Symposium on Security and Privacy Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
2013	J	`jnl`	Cloud computing security: The scientific challenge, and a survey of solutions. J. Syst. Softw. Mark Dermot Ryan
2013	J	`jnl`	Composition of password-based protocols. Formal Methods Syst. Des. Céline Chevalier, Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2013	J	`jnl`	Enhanced certificate transparency (how Johnny could encrypt). IACR Cryptol. ePrint Arch. Mark Dermot Ryan
2013	—	`ed.`	Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers TGC Catuscia Palamidessi, Mark Dermot Ryan
2012	—	`conf`	Automatic Analysis of Security Properties of the TPM. INTRUST Mark Dermot Ryan
2012	J	`jnl`	Formal analysis of privacy in Direct Anonymous Attestation schemes. IACR Cryptol. ePrint Arch. Ben Smyth, Mark Dermot Ryan, Liqun Chen
2012	C	`ed.`	Information Security Practice and Experience - 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings ISPEC Mark Dermot Ryan, Ben Smyth, Guilin Wang
2012	—	`conf`	Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. POST Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan
2011	—	`ch.`	Applied pi calculus. Formal Models and Techniques for Analyzing Security Protocols Mark Dermot Ryan, Ben Smyth
2011	J	`jnl`	Cloud computing privacy concerns on our doorstep. Commun. ACM Mark Dermot Ryan
2011	A	`conf`	Formal Analysis of Protocols Based on TPM State Registers. CSF Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2011	A	`conf`	StatVerif: Verification of Stateful Processes. CSF Myrto Arapinis, Eike Ritter, Mark Dermot Ryan
2011	—	`conf`	Trivitas: Voters Directly Verifying Votes. VoteID Sergiu Bursuc, Gurchetan S. Grewal, Mark Dermot Ryan
2010	—	`conf`	A Formal Analysis of Authentication in the TPM. Formal Aspects in Security and Trust Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel
2010	—	`conf`	Escrowed Data and the Digital Envelope. TRUST King Ables, Mark Dermot Ryan
2010	J	`jnl`	Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. ACM Trans. Inf. Syst. Secur. Aybek Mukhamedov, Mark Dermot Ryan
2010	J	`jnl`	Symbolic bisimulation for the applied pi calculus. J. Comput. Secur. Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan
2008	J	`jnl`	Fair multi-party contract signing using private contract signatures. Inf. Comput. Aybek Mukhamedov, Mark Dermot Ryan
2008	—	`ed.`	Formal Protocol Verification Applied, 14.10. - 19.10.2007 Formal Protocol Verification Applied Liqun Chen, Steve Kremer, Mark Dermot Ryan
2008	C	`ed.`	Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings ICICS Liqun Chen, Mark Dermot Ryan, Guilin Wang
2008	C	`conf`	Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. ISPEC Anongporn Salaiwarakul, Mark Dermot Ryan
2007	—	`conf`	07421 Abstracts Collection -- Formal Protocol Verification Applied. Formal Protocol Verification Applied Liqun Chen, Steve Kremer, Mark Dermot Ryan
2007	—	`conf`	07421 Executive Summary -- Formal Protocol Verification Applied. Formal Protocol Verification Applied Liqun Chen, Steve Kremer, Mark Dermot Ryan
2007	—	`conf`	Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. TGC Aybek Mukhamedov, Mark Dermot Ryan
2007	J	`jnl`	Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2006	—	`conf`	Resolve-Impossibility for a Contract-Signing Protocol. CSFW Aybek Mukhamedov, Mark Dermot Ryan
2005	—	`conf`	On Anonymity with Identity Escrow. Formal Aspects in Security and Trust Aybek Mukhamedov, Mark Dermot Ryan
2005	—	`conf`	Synthesising Features by Games. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2004	—	`book`	Logic in computer science - modelling and reasoning about systems (2. ed.). Michael Huth, Mark Dermot Ryan
2004	—	`conf`	Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2004	—	`ed.`	Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers Objects, Agents, and Features Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich
2003	—	`conf`	Feature Integration as Substitution. FIW Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
2003	—	`conf`	Objects, Agents, and Features: An Introduction. Objects, Agents, and Features John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich
2001	—	`ed.`	Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 MOVEP Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan
2000	—	`conf`	Defining Features for CSP: Reflections on the Feature Interaction Contest. FIREworks Malte Plath, Mark Dermot Ryan
2000	—	`book`	Logic in computer science - modelling and reasoning about systems. Michael Huth, Mark Dermot Ryan
2000	—	`conf`	Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
2000	—	`conf`	The feature construct for SMV: Semantics. FIW Malte Plath, Mark Dermot Ryan
1998	—	`conf`	Plug-and-play Features. FIW Malte Plath, Mark Dermot Ryan