| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mark Dermot Ryan, Ben Smyth, Guilin Wang (eds.) |
Information Security Practice and Experience - 8th International Conference, ISPEC 2012, Hangzhou, China, April 9-12, 2012. Proceedings  |
ISPEC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Sergiu Bursuc, Mark Dermot Ryan |
Reduction of Equational Theories for Verification of Trace Equivalence: Re-encryption, Associativity and Commutativity. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Sergiu Bursuc, Mark Ryan |
Privacy Supporting Cloud Computing: ConfiChair, a Case Study. |
POST |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Dermot Ryan |
Cloud computing privacy concerns on our doorstep. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel |
Formal Analysis of Protocols Based on TPM State Registers. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
formal verification, TPM |
| 1 | Myrto Arapinis, Eike Ritter, Mark Dermot Ryan |
StatVerif: Verification of Stateful Processes. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter, Mark Ryan |
Formal Analysis of UMTS Privacy |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Masoud Koleini, Mark Ryan |
A Knowledge-Based Verification Method for Dynamic Access Control Policies. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan |
Symbolic bisimulation for the applied pi calculus. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Dermot Ryan |
Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. |
ACM Trans. Inf. Syst. Secur. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | King Ables, Mark Dermot Ryan |
Escrowed Data and the Digital Envelope. |
TRUST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh |
Towards Automatic Analysis of Election Verifiability Properties. |
ARSPA-WITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Verifying Privacy-Type Properties of Electronic Voting Protocols: A Taster. |
Towards Trustworthy Elections |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan |
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hasan Qunoo, Mark Ryan |
Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems. |
DBSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan, Ben Smyth |
Election Verifiability in Electronic Voting Protocols. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien Tuan Anh Dinh, Mark Ryan |
Verifying Security Property of Peer-to-Peer Systems Using CSP. |
ESORICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ECEASST |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Verifying privacy-type properties of electronic voting protocols. |
Journal of Computer Security |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan |
A Trusted Infrastructure for P2P-based Marketplaces. |
Peer-to-Peer Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqun Chen, Mark Ryan |
Attack, Solution and Verification for Shared Authorisation Data in TCG TPM. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan |
Untraceability in the applied pi-calculus. |
ICITST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Cabuk, Liqun Chen, David Plaquin, Mark Ryan |
Trusted Integrity Measurement and Reporting for Virtualized Platforms. |
INTRUST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Brown, Mark Ryan |
Context-Aware Monitoring of Untrusted Mobile Applications. |
MobiSec |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Dermot Ryan |
Fair multi-party contract signing using private contract signatures. |
Inf. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anongporn Salaiwarakul, Mark Dermot Ryan |
Verification of Integrity and Secrecy Properties of a Biometric Authentication Protocol. |
ISPEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqun Chen, Mark Dermot Ryan, Guilin Wang (eds.) |
Information and Communications Security, 10th International Conference, ICICS 2008, Birmingham, UK, October 20-22, 2008, Proceedings |
ICICS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan (eds.) |
Formal Protocol Verification Applied, 14.10. - 19.10.2007 |
Formal Protocol Verification Applied |
2008 |
DBLP BibTeX RDF |
|
| 1 | Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev |
Synthesising verified access control systems through model checking. |
Journal of Computer Security |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrew Brown, Mark Ryan |
Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software. |
ISPEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anongporn Salaiwarakul, Mark Ryan |
Analysis of a Biometric Authentication Protocol for Signature Creation Application. |
IWSEC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Composition of Password-Based Protocols. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
composition, security protocols, guessing attacks |
| 1 | Andrew Brown, Mark Ryan |
Monitoring the Execution of Third-Party Software on Mobile Devices. |
RAID |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien Tuan Anh Dinh, Mark Ryan |
A Sybil-Resilient Reputation Metric for P2P Applications. |
SAINT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Model-checking the preservation of temporal properties upon feature integration. |
STTT |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Feature, State-explosion problem, Property preservation |
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan |
07421 Abstracts Collection -- Formal Protocol Verification Applied. |
Formal Protocol Verification Applied |
2007 |
DBLP BibTeX RDF |
|
| 1 | Liqun Chen, Steve Kremer, Mark Dermot Ryan |
07421 Executive Summary -- Formal Protocol Verification Applied. |
Formal Protocol Verification Applied |
2007 |
DBLP BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Dermot Ryan |
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Mark Ryan |
Minimal refinements of specifications in modal and temporal logics. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Mark Ryan |
Minimal refinements of specifications in model and termporal logics. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Mark Ryan |
Minimal refinements of specifications in modal and temporal logics. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Reiff-Marganiec, Mark Ryan |
Guest Editorial. |
Computer Networks |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Ryan |
Improved Multi-party Contract Signing. |
Financial Cryptography |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Smyth, Mark Ryan, Liqun Chen |
Direct Anonymous Attestation (DAA): Ensuring Privacy with Corrupt Administrators. |
ESAS |
2007 |
DBLP DOI BibTeX RDF |
privacy, anonymity, cryptographic protocol, trusted computing |
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Symbolic Bisimulation for the Applied Pi Calculus. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Synthesising Features by Games. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Dermot Ryan |
Resolve-Impossibility for a Contract-Signing Protocol. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphanie Delaune, Steve Kremer, Mark Ryan |
Coercion-Resistance and Receipt-Freeness in Electronic Voting. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Model-checking the Preservation of Temporal Properties upon Feature Integration. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aybek Mukhamedov, Mark Dermot Ryan |
On Anonymity with Identity Escrow. |
Formal Aspects in Security and Trust |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan |
Analysing the Vulnerability of Protocols to Produce Known-pair and Chosen-text Attacks. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
A New Algorithm for Strategy Synthesis in LTL Games. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev |
Evaluating Access Control Policies Through Model Checking. |
ISC |
2005 |
DBLP DOI BibTeX RDF |
access control policy language, model checking, verification, access control, access control policy, access control model |
| 1 | Stephan Reiff-Marganiec, Mark Ryan (eds.) |
Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK |
FIW |
2005 |
DBLP BibTeX RDF |
|
| 1 | Steve Kremer, Mark Ryan |
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth, Mark Dermot Ryan |
Logic in computer science - modelling and reasoning about systems (2. ed.). |
|
2004 |
RDF |
|
| 1 | Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (eds.) |
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers |
Objects, Agents, and Features |
2004 |
DBLP BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens |
Model-Checking Access Control Policies. |
ISC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev |
Synthesising verified access control systems in XACML. |
FMSE |
2004 |
DBLP DOI BibTeX RDF |
access control policy language, XACML, access control model |
| 1 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Feature Integration as Substitution. |
FIW |
2003 |
DBLP BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich |
Objects, Agents, and Features: An Introduction. |
Objects, Agents, and Features |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. (PDF / PS) |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannah Harris, Mark Ryan |
Theoretical Foundations of Updating Systems. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Mark Ryan |
Implementation of Belief Change Operators Using BDDs. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikos Gorogiannis, Mark Ryan |
Requirements, specifications, and minimal refinement. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens |
Operators and Laws for Combining Preference Relations. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannah Harris, Mark Ryan |
Feature Integration as an Operation of Theory Change. |
ECAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
Approximating ATL* in ATL. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.) |
Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 |
MOVEP |
2001 |
DBLP BibTeX RDF |
|
| 1 | Malte Plath, Mark Ryan |
Feature integration using a feature construct. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan, Pierre-Yves Schobbens |
Agents and Roles: Refinement in Alternating-Time Temporal Logic. |
ATAL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Huth, Mark Dermot Ryan |
Logic in computer science - modelling and reasoning about systems. |
|
2000 |
RDF |
|
| 1 | Malte Plath, Mark Dermot Ryan |
The feature construct for SMV: Semantics. |
FIW |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in multiagent systems: initial configurations and broadcast. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
computational complexity, completeness |
| 1 | Alessio Lomuscio, Mark Ryan |
An algorithmic approach to knowledge evolution. |
AI EDAM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan |
Preface. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Ron van der Meyden, Mark Ryan |
Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
A Spectrum of Modes of Knowledge Sharing between Agents. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Malte Plath, Mark Dermot Ryan |
Plug-and-play Features. |
FIW |
1998 |
DBLP BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
Ideal Agents Sharing (some!) Knowledge. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan, Pierre-Yves Schobbens |
Counterfactuals and Updates as Inverse Modalities. |
Journal of Logic, Language and Information |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan |
Symbolic Model Checking for Probabilistic Processes. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Mark Ryan |
On the Relation between Interpreted Systems and Kripke Models. |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan, Pierre-Yves Schobbens |
Intertranslating Counterfactuals and Updates. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan |
Belief Revision and Ordered Theory Presentations. |
Logic, Action, and Information |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues |
Counterfactuals and Updates as Inverse Modalities. |
TARK |
1996 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan, Pierre-Yves Schobbens |
Belief Revision and Verisimilitude. |
Notre Dame Journal of Formal Logic |
1995 |
DBLP BibTeX RDF |
|
| 1 | Riccardo Poli, Mark Ryan, Aaron Sloman |
A New Continuous Propositional Logic. |
EPIA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan |
Towards Specifying Norms. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan |
Prioritising Preference Relations. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | Geoffrey L. Burn, Simon J. Gay, Mark Ryan (eds.) |
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 |
1993 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan |
Representing Defaults as Sentences with Reduced Priority. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum |
Sharing Actions and Attributes in Modal Action Logic. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan |
Defaults and Revision in Structured Theories |
LICS |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")