Mark Ryan - RankMe

120 papers A* 8A 14B 4C 8Misc 3Journal 39Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Evasion Under Blockchain Sanctions. WWW Endong Liu, Mark Ryan, Liyi Zhou, Pascal Berrang
2025	J	`jnl`	Accountable Decryption Made Formal and Practical. IEEE Trans. Inf. Forensics Secur. Rujia Li, Yuanzhao Li, Qin Wang, Sisi Duan, Qi Wang, Mark Ryan
2025	J	`jnl`	Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels. CoRR Jesse Spielman, David F. Oswald, Mark Ryan, Jo Van Bulck
2025	A*	`conf`	Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos. SP Chengru Zhang, Xiao Yang, David F. Oswald, Mark Ryan, Philipp Jovanovic
2025	—	`conf`	Temporally-limited blind-regroup of anonymous credentials. WPES Liqun Chen, Chin Hei Ho, Mark Ryan, Christopher Williamson
2024	J	`jnl`	Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos. IACR Cryptol. ePrint Arch. Chengru Zhang, Xiao Yang, David F. Oswald, Mark Ryan, Philipp Jovanovic
2024	J	`jnl`	Multivariate Multi-Polynomial Commitment and its Applications. IACR Cryptol. ePrint Arch. Xiao Yang, Chengru Zhang, Mark Ryan, Gao Meng
2024	B	`conf`	OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. ARES Mo Zhang, Eduard Marin, Mark Ryan, Vassilis Kostakos, Toby Murray, Benjamin Tag, David F. Oswald
2023	J	`jnl`	Accountable Decryption made Formal and Practical. IACR Cryptol. ePrint Arch. Rujia Li, Yuanzhao Li, Qin Wang, Sisi Duan, Qin Wang, Mark Ryan
2023	J	`jnl`	Automatic verification of transparency protocols (extended version). CoRR Vincent Cheval, José Moreira, Mark Ryan
2023	A	`conf`	Automatic verification of transparency protocols. EuroS&P Vincent Cheval, José Moreira, Mark Ryan
2023	—	`conf`	Using Reed-Muller Codes for Classification with Rejection and Recovery. FPS (1) Daniel Fentham, David Parker, Mark Ryan
2023	J	`jnl`	Using Reed-Muller Codes for Classification with Rejection and Recovery. CoRR Daniel Fentham, David Parker, Mark Ryan
2022	J	`jnl`	Exploring Web3 From the View of Blockchain. CoRR Qin Wang, Rujia Li, Qi Wang, Shiping Chen, Mark Ryan, Thomas Hardjono
2022	—	`conf`	Protocols for a Two-Tiered Trusted Computing Base. ESORICS (3) José Moreira, Mark Ryan, Flavio D. Garcia
2022	J	`jnl`	SoK: TEE-Assisted Confidential Smart Contract. Proc. Priv. Enhancing Technol. Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
2022	J	`jnl`	SoK: TEE-assisted Confidential Smart Contract. CoRR Rujia Li, Qin Wang, Qi Wang, David Galindo, Mark Ryan
2021	C	`ed.`	Information Security Practice and Experience: 16th International Conference, ISPEC 2021, Nanjing, China, December 17-19, 2021, Proceedings ISPEC Robert H. Deng, Feng Bao, Guilin Wang, Jian Shen, Mark Ryan, Weizhi Meng, Ding Wang
2021	—	`conf`	Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. STM Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Rønne, Mark Ryan, Peter Y. A. Ryan
2020	—	`conf`	Quantitative Verification of Certificate Transparency Gossip Protocols. CNS Michael Oxford, David Parker, Mark Ryan
2019	C	`conf`	CAOS: Concurrent-Access Obfuscated Store. SACMAT Mihai Ordean, Mark Ryan, David Galindo
2018	J	`jnl`	DECIM: Detecting Endpoint Compromise In Messaging. IEEE Trans. Inf. Forensics Secur. Jiangshan Yu, Mark Ryan, Cas Cremers
2017	Misc	`conf`	A Malware-Tolerant, Self-Healing Industrial Control System Framework. SEC Michael Denzel, Mark Ryan, Eike Ritter
2017	—	`conf`	Authenticating Compromisable Storage Systems. TrustCom/BigDataSE/ICESS Jiangshan Yu, Mark Ryan, Liqun Chen
2017	J	`jnl`	Authenticating compromisable storage systems. IACR Cryptol. ePrint Arch. Jiangshan Yu, Mark Ryan, Liqun Chen
2017	A	`conf`	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. CSF Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017	J	`jnl`	Automatically Detecting the Misuse of Secrets: Foundations, Design Principles, and Applications. IACR Cryptol. ePrint Arch. Kevin Milner, Cas Cremers, Jiangshan Yu, Mark Ryan
2017	J	`jnl`	CAOS: Concurrent-Access Obfuscated Store. CoRR Mihai Ordean, Mark Ryan, David Galindo
2017	J	`jnl`	Evaluating web PKIs. IACR Cryptol. ePrint Arch. Jiangshan Yu, Mark Ryan
2017	—	`ed.`	Principles of Security and Trust - 6th International Conference, POST 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings POST Matteo Maffei, Mark Ryan
2017	J	`jnl`	Stateful applied pi calculus: Observational equivalence and labelled bisimilarity. J. Log. Algebraic Methods Program. Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
2016	J	`jnl`	DTKI: A New Formalized PKI with Verifiable Trusted Parties. Comput. J. Jiangshan Yu, Vincent Cheval, Mark Ryan
2015	—	`conf`	Device Attacker Models: Fact and Fiction (Transcript of Discussion). Security Protocols Workshop Mark Ryan
2015	J	`jnl`	How to detect unauthorised usage of a key. IACR Cryptol. ePrint Arch. Jiangshan Yu, Mark Ryan, Cas Cremers
2014	J	`jnl`	DTKI: a new formalized PKI with no trusted parties. CoRR Jiangshan Yu, Vincent Cheval, Mark Ryan
2014	—	`conf`	Du-Vote: Remote Electronic Voting with Untrusted Computers. FMS @ Petri Nets Mark Ryan, Gurchetan S. Grewal, Liqun Chen
2014	A*	`conf`	Privacy through Pseudonymity in Mobile Telephony Systems. NDSS Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
2014	—	`conf`	Stateful Applied Pi Calculus. POST Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan
2014	—	`conf`	Tests for Establishing Security Properties. TGC Vincent Cheval, Stéphanie Delaune, Mark Ryan
2014	J	`jnl`	Verification of agent knowledge in dynamic access control policies. CoRR Masoud Koleini, Eike Ritter, Mark Ryan
2013	—	`conf`	Dynamic Measurement and Protected Execution: Model and Analysis. TGC Shiwei Xu, Ian Batten, Mark Ryan
2013	A	`conf`	Model Checking Agent Knowledge in Dynamic Access Control Policies. TACAS Masoud Koleini, Eike Ritter, Mark Ryan
2013	—	`conf`	Practical Everlasting Privacy. POST Myrto Arapinis, Véronique Cortier, Steve Kremer, Mark Ryan
2013	J	`jnl`	Privacy-supporting cloud computing by in-browser key translation. J. Comput. Secur. Myrto Arapinis, Sergiu Bursuc, Mark Ryan
2012	A*	`conf`	New privacy issues in mobile telephony: fix and verification. CCS Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan, Nico Golde, Kevin Redon, Ravishankar Borgaonkar
2012	—	`conf`	Privacy Supporting Cloud Computing: ConfiChair, a Case Study. POST Myrto Arapinis, Sergiu Bursuc, Mark Ryan
2011	C	`conf`	A Knowledge-Based Verification Method for Dynamic Access Control Policies. ICFEM Masoud Koleini, Mark Ryan
2011	—	`conf`	Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes. Formal Aspects in Security and Trust Ben Smyth, Mark Ryan, Liqun Chen
2011	J	`jnl`	Formal Analysis of UMTS Privacy CoRR Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan
2010	A	`conf`	Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
2010	A	`conf`	Election Verifiability in Electronic Voting Protocols. ESORICS Steve Kremer, Mark Ryan, Ben Smyth
2010	B	`conf`	Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. DBSec Hasan Qunoo, Mark Ryan
2010	—	`conf`	Towards Automatic Analysis of Election Verifiability Properties. ARSPA-WITS Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh
2010	—	`conf`	Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. Towards Trustworthy Elections Stéphanie Delaune, Steve Kremer, Mark Ryan
2010	A	`conf`	Verifying Security Property of Peer-to-Peer Systems Using CSP. ESORICS Tien Tuan Anh Dinh, Mark Ryan
2009	—	`conf`	A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan
2009	—	`conf`	Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. Formal Aspects in Security and Trust Liqun Chen, Mark Ryan
2009	—	`conf`	Context-Aware Monitoring of Untrusted Mobile Applications. MobiSec Andrew Brown, Mark Ryan
2009	—	`conf`	Towards a Verified Reference Implementation of a Trusted Platform Module. Security Protocols Workshop Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan
2009	J	`jnl`	Towards the Verification of Pervasive Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 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
2009	—	`conf`	Trusted Integrity Measurement and Reporting for Virtualized Platforms. INTRUST Serdar Cabuk, Liqun Chen, David Plaquin, Mark Ryan
2009	—	`conf`	Untraceability in the applied pi-calculus. ICITST Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
2009	J	`jnl`	Verifying privacy-type properties of electronic voting protocols. J. Comput. Secur. Stéphanie Delaune, Steve Kremer, Mark Ryan
2008	—	`conf`	A Sybil-Resilient Reputation Metric for P2P Applications. SAINT Tien Tuan Anh Dinh, Mark Ryan
2008	Misc	`conf`	Analysis of a Biometric Authentication Protocol for Signature Creation Application. IWSEC Anongporn Salaiwarakul, Mark Ryan
2008	—	`conf`	Automatic Verification of Privacy Properties in the Applied pi Calculus. IFIPTM Stéphanie Delaune, Mark Ryan, Ben Smyth
2008	A	`conf`	Composition of Password-Based Protocols. CSF Stéphanie Delaune, Steve Kremer, Mark Ryan
2008	A	`conf`	Monitoring the Execution of Third-Party Software on Mobile Devices. RAID Andrew Brown, Mark Ryan
2008	C	`conf`	Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. ISPEC Andrew Brown, Mark Ryan
2008	J	`jnl`	Synthesising verified access control systems through model checking. J. Comput. Secur. Nan Zhang, Mark Ryan, Dimitar P. Guelev
2007	—	`conf`	Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. ESAS Ben Smyth, Mark Ryan, Liqun Chen
2007	J	`jnl`	Guest Editorial. Comput. Networks Stephan Reiff-Marganiec, Mark Ryan
2007	—	`conf`	Improved Multi-party Contract Signing. Financial Cryptography Aybek Mukhamedov, Mark Ryan
2007	J	`jnl`	Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2007	J	`jnl`	Minimal refinements of specifications in modal and temporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2007	J	`jnl`	Minimal refinements of specifications in model and termporal logics. Formal Aspects Comput. Nikos Gorogiannis, Mark Ryan
2007	—	`conf`	Symbolic Bisimulation for the Applied Pi Calculus. FSTTCS Stéphanie Delaune, Steve Kremer, Mark Ryan
2006	—	`conf`	Coercion-Resistance and Receipt-Freeness in Electronic Voting. CSFW Stéphanie Delaune, Steve Kremer, Mark Ryan
2005	A	`conf`	A New Algorithm for Strategy Synthesis in LTL Games. TACAS Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2005	A	`conf`	Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. ESOP Steve Kremer, Mark Ryan
2005	C	`conf`	Evaluating Access Control Policies Through Model Checking. ISC Nan Zhang, Mark Ryan, Dimitar P. Guelev
2005	—	`ed.`	Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK FIW Stephan Reiff-Marganiec, Mark Ryan
2004	—	`conf`	Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. SecCo Steve Kremer, Mark Ryan
2004	C	`conf`	Model-Checking Access Control Policies. ISC Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens
2004	—	`conf`	Synthesising verified access control systems in XACML. FMSE Nan Zhang, Mark Ryan, Dimitar P. Guelev
2003	A*	`conf`	Theoretical Foundations of Updating Systems. ASE Hannah Harris, Mark Ryan
2003	C	`conf`	Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2002	B	`conf`	Approximating ATL VMCAI Aidan Harding, Mark Ryan, Pierre-Yves Schobbens
2002	A	`conf`	Feature Integration as an Operation of Theory Change. ECAI Hannah Harris, Mark Ryan
2002	J	`jnl`	Implementation of Belief Change Operators Using BDDs. Stud Logica Nikos Gorogiannis, Mark Ryan
2002	J	`jnl`	Operators and Laws for Combining Preference Relations. J. Log. Comput. Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens
2002	C	`conf`	Requirements, specifications, and minimal refinement. WoLLIC Nikos Gorogiannis, Mark Ryan
2001	—	`conf`	Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL Mark Ryan, Pierre-Yves Schobbens
2001	J	`jnl`	Feature integration using a feature construct. Sci. Comput. Program. Malte Plath, Mark Ryan
2001	—	`ed.`	Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000. FIREworks Stephen Gilmore, Mark Ryan
2000	J	`jnl`	Knowledge in multiagent systems: initial configurations and broadcast. ACM Trans. Comput. Log. Alessio Lomuscio, Ron van der Meyden, Mark Ryan
1999	—	`conf`	A Spectrum of Modes of Knowledge Sharing between Agents. ATAL Alessio Lomuscio, Mark Ryan
1999	J	`jnl`	An algorithmic approach to knowledge evolution. Artif. Intell. Eng. Des. Anal. Manuf. Alessio Lomuscio, Mark Ryan
1999	—	`ed.`	First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998 PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1999	J	`jnl`	Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast CoRR Alessio Lomuscio, Ron van der Meyden, Mark Ryan
1998	A	`conf`	Ideal Agents Sharing (some!) Knowledge. ECAI Alessio Lomuscio, Mark Ryan
1998	—	`conf`	Preface. PROBMIV Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
1998	—	`conf`	SFI: a Feature Integration Tool. Tool Support for System Specification, Development and Verification Malte Plath, Mark Ryan
1997	J	`jnl`	Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. Mark Ryan, Pierre-Yves Schobbens
1997	J	`jnl`	Formalisms for multi-agent systems. Knowl. Eng. Rev. Mark d'Inverno, Michael Fisher, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan, Michael J. Wooldridge
1997	—	`conf`	On the Relation between Interpreted Systems and Kripke Models. Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications Alessio Lomuscio, Mark Ryan
1997	A*	`conf`	Symbolic Model Checking for Probabilistic Processes. ICALP Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
1996	—	`ch.`	Belief Revision and Ordered Theory Presentations. Logic, Action, and Information Mark Ryan
1996	B	`conf`	Counterfactuals and Updates as Inverse Modalities. TARK Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues
1996	A	`conf`	Intertranslating Counterfactuals and Updates. ECAI Mark Ryan, Pierre-Yves Schobbens
1996	—	`conf`	Software Package Requirements and Procurement. IWSSD Anthony Finkelsteiin, George Spanoudakis, Mark Ryan
1995	Misc	`conf`	A New Continuous Propositional Logic. EPIA Riccardo Poli, Mark Ryan, Aaron Sloman
1995	J	`jnl`	Belief Revision and Verisimilitude. Notre Dame J. Formal Log. Mark Ryan, Pierre-Yves Schobbens
1993	A	`conf`	Defaults in specifications. RE Mark Ryan
1993	—	`conf`	Prioritising Preference Relations. Theory and Formal Methods Mark Ryan
1993	—	`ed.`	Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 Theory and Formal Methods Geoffrey Livingston Burn, Simon J. Gay, Mark Ryan
1993	J	`jnl`	Towards Specifying Norms. Ann. Math. Artif. Intell. Mark Ryan
1992	A*	`conf`	Representing Defaults as Sentences with Reduced Priority. KR Mark Ryan
1991	A*	`conf`	Defaults and Revision in Structured Theories LICS Mark Ryan
1991	—	`conf`	Sharing Actions and Attributes in Modal Action Logic. TACS Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum