Mark Ryan

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 24

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

NDSS

EuroS&P

Publications

Mo Zhang, Eduard Marin, Mark Ryan, Vassilis Kostakos, Toby Murray, Benjamin Tag, David F. Oswald
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. ARES (2024)
Daniel Fentham, David Parker, Mark Ryan
Using Reed-Muller Codes for Classification with Rejection and Recovery. CoRR (2023)
Vincent Cheval, José Moreira, Mark Ryan
Automatic verification of transparency protocols (extended version). CoRR (2023)
Daniel Fentham, David Parker, Mark Ryan
Using Reed-Muller Codes for Classification with Rejection and Recovery. FPS (1) (2023)
Vincent Cheval, José Moreira, Mark Ryan
Automatic verification of transparency protocols. EuroS&P (2023)
Rujia Li, Yuanzhao Li, Qin Wang, Sisi Duan, Qin Wang, Mark Ryan
Accountable Decryption made Formal and Practical. IACR Cryptol. ePrint Arch. 2023 (2023)
José Moreira, Mark Ryan, Flavio D. Garcia
Protocols for a Two-Tiered Trusted Computing Base. ESORICS (3) (2022)
Mo Zhang, Eduard Marin, David F. Oswald, Vassilis Kostakos, Mark Ryan, Benjamin Tag, Kleomenis Katevas
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. IACR Cryptol. ePrint Arch. 2022 (2022)
Qin Wang, Rujia Li, Qi Wang, Shiping Chen, Mark Ryan, Thomas Hardjono
Exploring Web3 From the View of Blockchain. CoRR (2022)
Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
SoK: TEE-Assisted Confidential Smart Contract. Proc. Priv. Enhancing Technol. 2022 (3) (2022)
Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
SoK: TEE-assisted Confidential Smart Contract. CoRR (2022)
Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Rønne, Mark Ryan, Peter Y. A. Ryan
Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. STM (2021)
Michael Oxford, David Parker, Mark Ryan
Quantitative Verification of Certificate Transparency Gossip Protocols. CNS (2020)
Mihai Ordean, Mark Ryan, David Galindo
CAOS: Concurrent-Access Obfuscated Store. SACMAT (2019)
Jiangshan Yu, Mark Ryan, Cas Cremers
DECIM: Detecting Endpoint Compromise In Messaging. IEEE Trans. Inf. Forensics Secur. 13 (1) (2018)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Michael Denzel, Mark Ryan, Eike Ritter
A Malware-Tolerant, Self-Healing Industrial Control System Framework. SEC (2017)
Jiangshan Yu, Mark Ryan, Liqun Chen
Authenticating compromisable storage systems. IACR Cryptol. ePrint Arch. 2017 (2017)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. J. Log. Algebraic Methods Program. 89 (2017)
Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF (2017)
Jiangshan Yu, Mark Ryan, Liqun Chen
Authenticating Compromisable Storage Systems. TrustCom/BigDataSE/ICESS (2017)
Mihai Ordean, Mark Ryan, David Galindo
CAOS: Concurrent-Access Obfuscated Store. CoRR (2017)
Jiangshan Yu, Mark Ryan
Evaluating web PKIs. IACR Cryptol. ePrint Arch. 2017 (2017)
Jiangshan Yu, Vincent Cheval, Mark Ryan
DTKI: A New Formalized PKI with Verifiable Trusted Parties. Comput. J. 59 (11) (2016)
Jiangshan Yu, Mark Ryan, Cas Cremers
How to detect unauthorised usage of a key. IACR Cryptol. ePrint Arch. 2015 (2015)
Mark Ryan
Device Attacker Models: Fact and Fiction (Transcript of Discussion). Security Protocols Workshop (2015)
Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
Stateful Applied Pi Calculus. POST (2014)
Masoud Koleini, Eike Ritter, Mark Ryan
Verification of agent knowledge in dynamic access control policies. CoRR (2014)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Privacy through Pseudonymity in Mobile Telephony Systems. NDSS (2014)
Vincent Cheval, Stéphanie Delaune, Mark Ryan
Tests for Establishing Security Properties. TGC (2014)
Jiangshan Yu, Vincent Cheval, Mark Ryan
DTKI: a new formalized PKI with no trusted parties. CoRR (2014)
Mark Ryan, Gurchetan S. Grewal, Liqun Chen
Du-Vote: Remote Electronic Voting with Untrusted Computers. FMS @ Petri Nets (2014)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy-supporting cloud computing by in-browser key translation. J. Comput. Secur. 21 (6) (2013)
Shiwei Xu, Ian Batten, Mark Ryan
Dynamic Measurement and Protected Execution: Model and Analysis. TGC (2013)
Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
Practical Everlasting Privacy. POST (2013)
Masoud Koleini, Eike Ritter, Mark Ryan
Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS (2013)
Myrto Arapinis, Sergiu Bursuc, Mark Ryan
Privacy Supporting Cloud Computing: ConfiChair, a Case Study. POST (2012)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar
New privacy issues in mobile telephony: fix and verification. CCS (2012)
Ben Smyth, Mark Ryan, Liqun Chen
Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. Formal Aspects in Security and Trust (2011)
Masoud Koleini, Mark Ryan
A Knowledge-Based Verification Method for Dynamic Access Control Policies. ICFEM (2011)
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
Formal Analysis of UMTS Privacy CoRR (2011)
Hasan Qunoo, Mark Ryan
Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. DBSec (2010)
Tien Tuan Anh Dinh, Mark Ryan
Verifying Security Property of Peer-to-Peer Systems Using CSP. ESORICS (2010)
Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS (2010)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF (2010)
Steve Kremer, Mark Ryan, Ben Smyth
Election Verifiability in Electronic Voting Protocols. ESORICS (2010)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections (2010)
Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan
Towards a Verified Reference Implementation of a Trusted Platform Module. Security Protocols Workshop (2009)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Untraceability in the applied pi-calculus. ICITST (2009)
Myrto Arapinis, Muffy Calder, Louise A. Dennis, Michael Fisher, Philip D. Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 22 (2009)
Liqun Chen, Mark Ryan
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. Formal Aspects in Security and Trust (2009)
Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan
A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing (2009)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. 17 (4) (2009)
Andrew Brown, Mark Ryan
Context-Aware Monitoring of Untrusted Mobile Applications. MobiSec (2009)
Serdar Cabuk, Liqun Chen, David Plaquin, Mark Ryan
Trusted Integrity Measurement and Reporting for Virtualized Platforms. INTRUST (2009)
Tien Tuan Anh Dinh, Mark Ryan
A Sybil-Resilient Reputation Metric for P2P Applications. SAINT (2008)
Anongporn Salaiwarakul, Mark Ryan
Analysis of a Biometric Authentication Protocol for Signature Creation Application. IWSEC (2008)
Andrew Brown, Mark Ryan
Monitoring the Execution of Third-Party Software on Mobile Devices. RAID (2008)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Composition of Password-Based Protocols. CSF (2008)
Stéphanie Delaune, Mark Ryan, Ben Smyth
Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM (2008)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems through model checking. J. Comput. Secur. 16 (1) (2008)
Andrew Brown, Mark Ryan
Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. ISPEC (2008)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. 19 (4) (2007)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS (2007)
Ben Smyth, Mark Ryan, Liqun Chen
Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS (2007)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in model and termporal logics. Formal Aspects Comput. 19 (1) (2007)
Nikos Gorogiannis, Mark Ryan
Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. 19 (2) (2007)
Stephan Reiff-Marganiec, Mark Ryan
Guest Editorial. Comput. Networks 51 (2) (2007)
Aybek Mukhamedov, Mark Ryan
Improved Multi-party Contract Signing. Financial Cryptography (2007)
Stéphanie Delaune, Steve Kremer, Mark Ryan
Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW (2006)
Steve Kremer, Mark Ryan
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP (2005)
Steve Kremer, Mark Ryan
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Evaluating Access Control Policies Through Model Checking. ISC (2005)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
A New Algorithm for Strategy Synthesis in LTL Games. TACAS (2005)
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
Model-Checking Access Control Policies. ISC (2004)
Nan Zhang, Mark Ryan, Dimitar P. Guelev
Synthesising verified access control systems in XACML. FMSE (2004)
Hannah Harris, Mark Ryan
Theoretical Foundations of Updating Systems. ASE (2003)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME (2003)
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
in ATL. VMCAI (2002)
Nikos Gorogiannis, Mark Ryan
Requirements, specifications, and minimal refinement. Electron. Notes Theor. Comput. Sci. 67 (2002)
Hannah Harris, Mark Ryan
Feature Integration as an Operation of Theory Change. ECAI (2002)
Nikos Gorogiannis, Mark Ryan
Implementation of Belief Change Operators Using BDDs. Stud Logica 70 (1) (2002)
Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens
Operators and Laws for Combining Preference Relations. J. Log. Comput. 12 (1) (2002)
Mark Ryan, Pierre-Yves Schobbens
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL (2001)
Malte Plath, Mark Ryan
Feature integration using a feature construct. Sci. Comput. Program. 41 (1) (2001)
Alessio Lomuscio, Ron van der Meyden, Mark Ryan
Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. 1 (2) (2000)
Alessio Lomuscio, Ron van der Meyden, Mark Ryan
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR (1999)
Alessio Lomuscio, Mark Ryan
An algorithmic approach to knowledge evolution. Artif. Intell. Eng. Des. Anal. Manuf. 13 (2) (1999)
Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
Preface. Electron. Notes Theor. Comput. Sci. 22 (1999)
Alessio Lomuscio, Mark Ryan
A Spectrum of Modes of Knowledge Sharing between Agents. ATAL (1999)
Malte Plath, Mark Ryan
SFI: a Feature Integration Tool. Tool Support for System Specification, Development and Verification (1998)
Alessio Lomuscio, Mark Ryan
Ideal Agents Sharing (some!) Knowledge. ECAI (1998)
Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
Symbolic Model Checking for Probabilistic Processes. ICALP (1997)
Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
Formalisms for multi-agent systems. Knowl. Eng. Rev. 12 (3) (1997)
Alessio Lomuscio, Mark Ryan
On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications (1997)
Mark Ryan, Pierre-Yves Schobbens
Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. 6 (2) (1997)
Anthony Finkelsteiin, George Spanoudakis, Mark Ryan
Software Package Requirements and Procurement. IWSSD (1996)
Mark Ryan, Pierre-Yves Schobbens
Intertranslating Counterfactuals and Updates. ECAI (1996)
Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues
Counterfactuals and Updates as Inverse Modalities. TARK (1996)
Riccardo Poli, Mark Ryan, Aaron Sloman
A New Continuous Propositional Logic. EPIA (1995)

Mark Ryan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mark Ryan