| 2026 | WWW | Evasion Under Blockchain Sanctions. | Endong Liu, Mark Ryan, Liyi Zhou, Pascal Berrang |
| 2025 | SP | Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos. | Chengru Zhang, Xiao Yang, David F. Oswald, Mark Ryan, Philipp Jovanovic |
| 2022 | ESORICS | Protocols for a Two-Tiered Trusted Computing Base. | Jos Moreira, Mark Ryan, Flavio D. Garcia |
| 2019 | UIC | Technofixing the Future: Ethical Side Effects of Using AI and Big Data to Meet the SDGs. | Mark Ryan, Josephina Antoniou, Laurence D. Brooks, Tilimbe Jiya, Kevin Macnish, Bernd Carsten Stahl |
| 2019 | SACMAT | CAOS: Concurrent-Access Obfuscated Store. | Mihai Ordean, Mark Ryan, David Galindo |
| 2017 | TrustCom | Authenticating Compromisable Storage Systems. | Jiangshan Yu, Mark Ryan, Liqun Chen |
| 2017 | SEC | A Malware-Tolerant, Self-Healing Industrial Control System Framework. | Michael Denzel, Mark Ryan, Eike Ritter |
| 2014 | NDSS | Privacy through Pseudonymity in Mobile Telephony Systems. | Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan |
| 2013 | TACAS | Model Checking Agent Knowledge in Dynamic Access Control Policies. | Masoud Koleini, Eike Ritter, Mark Ryan |
| 2012 | CCS | New privacy issues in mobile telephony: fix and verification. | Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar |
| 2012 | ICSE | Introducing safety cases for health IT. | Georgios Despotou, Sean White, Tim Kelly, Mark Ryan |
| 2011 | ICFEM | A Knowledge-Based Verification Method for Dynamic Access Control Policies. | Masoud Koleini, Mark Ryan |
| 2010 | DBSEC | Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. | Hasan Qunoo, Mark Ryan |
| 2010 | ESORICS | Verifying Security Property of Peer-to-Peer Systems Using CSP. | Tien Tuan Anh Dinh, Mark Ryan |
| 2010 | ESORICS | Election Verifiability in Electronic Voting Protocols. | Steve Kremer, Mark Ryan, Ben Smyth |
| 2008 | ISPEC | Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. | Andrew Brown, Mark Ryan |
| 2008 | IWSEC | Analysis of a Biometric Authentication Protocol for Signature Creation Application. | Anongporn Salaiwarakul, Mark Ryan |
| 2008 | RAID | Monitoring the Execution of Third-Party Software on Mobile Devices. | Andrew Brown, Mark Ryan |
| 2007 | FC | Improved Multi-party Contract Signing. | Aybek Mukhamedov, Mark Ryan |
| 2005 | ESOP | Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. | Steve Kremer, Mark Ryan |
| 2005 | TACAS | A New Algorithm for Strategy Synthesis in LTL Games. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2004 | CCS | Synthesising verified access control systems in XACML. | Nan Zhang, Mark Ryan, Dimitar P. Guelev |
| 2003 | TIME | Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2002 | ECAI | Feature Integration as an Operation of Theory Change. | Hannah Harris, Mark Ryan |
| 2002 | VMCAI | Approximating ATL | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 1998 | ECAI | Ideal Agents Sharing (some!) Knowledge. | Alessio Lomuscio, Mark Ryan |
| 1997 | ICALP | Symbolic Model Checking for Probabilistic Processes. | Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan |
| 1996 | ECAI | Intertranslating Counterfactuals and Updates. | Mark Ryan, Pierre-Yves Schobbens |
| 1996 | TARK | Counterfactuals and Updates as Inverse Modalities. | Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues |
| 1995 | EPIA | A New Continuous Propositional Logic. | Riccardo Poli, Mark Ryan, Aaron Sloman |
| 1993 | RE | Defaults in specifications. | Mark Ryan |
| 1992 | KR | Representing Defaults as Sentences with Reduced Priority. | Mark Ryan |
| 1991 | LICS | Defaults and Revision in Structured Theories | Mark Ryan |