Mark Ryan

发表

Michael Oxford, David Parker, Mark Ryan, 2020, 2020 IEEE Conference on Communications and Network Security (CNS).
Mark Ryan, Véronique Cortier, Steve Kremer, 2013, POST.
Mark Ryan, Tien Tuan Anh Dinh, 2010, ESORICS.
Mark Ryan, Ben Smyth, Stéphanie Delaune, 2008, IFIPTM.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2010, Towards Trustworthy Elections.
Mark Ryan, Michael Huth, 2004 .
Mark Ryan, Masoud Koleini, M. Koleini, 2011, ICFEM.
Mark Ryan, Cas J. F. Cremers, Jiangshan Yu, 2018, IEEE Transactions on Information Forensics and Security.
Mark Ryan, Tom Chothia, Tien Tuan Anh Dinh, 2009, 2009 IEEE Ninth International Conference on Peer-to-Peer Computing.
Mark Ryan, Alessio Lomuscio, M. Ryan, 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.
Mark Ryan, Nikos Gorogiannis, M. Ryan, 2002, Stud Logica.
Mark Ryan, Jia Liu, Myrto Arapinis, 2017, J. Log. Algebraic Methods Program..
Mark Ryan, Hannah Harris, M. Ryan, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2007, J. Comput. Secur..
Mark Ryan, Ben Smyth, Steve Kremer, 2010 .
Mark Ryan, 2015, Security Protocols Workshop.
Mark Ryan, Myrto Arapinis, Sergiu Bursuc, 2013, J. Comput. Secur..
Mark Ryan, Nikos Gorogiannis, M. Ryan, 2007, Formal Aspects of Computing.
Mark Ryan, Ben Smyth, Steve Kremer, 2010, ESORICS.
Mark Ryan, Tien Tuan Anh Dinh, 2008, 2008 International Symposium on Applications and the Internet.
Mark Ryan, Michael Huth, M. Huth, 2004 .
Mark Ryan, Ben Smyth, Myrto Arapinis, 2013 .
Pierre-Yves Schobbens, Mark Ryan, Hajnal Andréka, 2002, J. Log. Comput..
Mark Ryan, Maarten de Rijke, Michael Wooldridge, 1997, Knowl. Eng. Rev..
Mark Ryan, Ben Smyth, Myrto Arapinis, 2013 .
Mark Ryan, Anongporn Salaiwarakul, M. Ryan, 2008, IWSEC.
Mark Ryan, Ben Smyth, Liqun Chen, 2011, Formal Aspects in Security and Trust.
Mark Ryan, Myrto Arapinis, Loretta Ilaria Mancini, 2014, NDSS.
Mark Ryan, Shiwei Xu, Ian Batten, 2013, TGC.
Pierre-Yves Schobbens, Mark Ryan, Aidan Harding, 2002, VMCAI.
Mark Ryan, Michael Huth, 2004 .
Mark Ryan, Hannah Harris, M. Ryan, 2002, ECAI.
Mark Ryan, Nan Zhang, Dimitar P. Guelev, 2004, FMSE '04.
Christel Baier, Mark Ryan, Marta Z. Kwiatkowska, 1998, PROBMIV.
Mark Ryan, Myrto Arapinis, Loretta Ilaria Mancini, 2011, ArXiv.
Mark Ryan, Geoffrey L. Burn, M. Ryan, 1993, Workshops in Computing.
Mark Ryan, Tom Chothia, Myrto Arapinis, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.
Mark Ryan, Alessio Lomuscio, Ron van der Meyden, 1999, TOCL.
Mark Ryan, David Galindo, Mihai Ordean, 2019, SACMAT.
Mark Ryan, Liqun Chen, M. Ryan, 2009, Formal Aspects in Security and Trust.
Mark Ryan, Nan Zhang, Dimitar P. Guelev, 2005, ISC.
Mark Ryan, Liqun Chen, Jiangshan Yu, 2017, 2017 IEEE Trustcom/BigDataSE/ICESS.
Pierre-Yves Schobbens, Mark Ryan, Dimitar P. Guelev, 2004, ISC.
Pierre-Yves Schobbens, Mark Ryan, M. Ryan, 1995, Notre Dame J. Formal Log..
Mark Ryan, Liqun Chen, David Plaquin, 2009, INTRUST.
Mark Ryan, Ben Smyth, Steve Kremer, 2010, ARSPA-WITS.
Mark Ryan, Malte Plath, M. Ryan, 2001, Sci. Comput. Program..
Mark Ryan, Jia Liu, Myrto Arapinis, 2014, POST.
Pierre-Yves Schobbens, Mark Ryan, 1996, ECAI.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Mark Ryan, Myrto Arapinis, Sergiu Bursuc, 2012, POST.
Mark Ryan, Jiangshan Yu, M. Ryan, 2017, IACR Cryptol. ePrint Arch..
Mark Ryan, Cas J. F. Cremers, Kevin Milner, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Mark Ryan, Nikos Gorogiannis, M. Ryan, 2002, WoLLIC.
Mark Ryan, Michael Huth, 2004 .
Mark Ryan, Vincent Cheval, Jiangshan Yu, 2014, Comput. J..
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2009, J. Comput. Secur..
Christel Baier, Mark Ryan, Edmund M. Clarke, 1997, ICALP.
Riccardo Poli, Mark Ryan, Aaron Sloman, 1995, EPIA.
Mark Ryan, Andrew Brown, 2009, MobiSec.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).
Mark Ryan, Eike Ritter, Masoud Koleini, 2013, TACAS.
Stephen Gilmore, Mark Ryan, S. Gilmore, 2001, Springer London.
Mark Ryan, Aybek Mukhamedov, M. Ryan, 2007, Financial Cryptography.
Mark Ryan, Michael Huth, 2004 .
Mark Ryan, Eike Ritter, Michael Denzel, 2017, SEC.
Mark Ryan, Vincent Cheval, Stéphanie Delaune, 2014, TGC.
Mark Ryan, Nan Zhang, Dimitar P. Guelev, 2008, J. Comput. Secur..
Pierre-Yves Schobbens, Mark Ryan, M. Ryan, 1996, J. Log. Lang. Inf..
Mark Ryan, Vincent Cheval, Jiangshan Yu, 2014, IACR Cryptol. ePrint Arch..
Mark Ryan, Alessio Lomuscio, M. Ryan, 1999, ATAL.
Mark Ryan, Ben Smyth, M. Ryan, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Mark Ryan, Cas J. F. Cremers, Jiangshan Yu, 2015, IACR Cryptol. ePrint Arch..
Mark Ryan, Myrto Arapinis, Eike Ritter, 2011, CSF.
Mark Ryan, Alessio Lomuscio, M. Ryan, 1998, ECAI.
Mark Ryan, Stephan Reiff-Marganiec, 2007, Comput. Networks.
Mark Ryan, Tom Chothia, Myrto Arapinis, 2009, 2009 International Conference for Internet Technology and Secured Transactions, (ICITST).
Mark Ryan, Eike Ritter, Masoud Koleini, 2014, ArXiv.
Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Mark Ryan, Andrew D. Gordon, Aybek Mukhamedov, 2009, Security Protocols Workshop.
Mark Ryan, Alessio Lomuscio, M. Ryan, 1999, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.
Mark Ryan, Nikos Gorogiannis, M. Ryan, 2007, Formal Aspects of Computing.
Pierre-Yves Schobbens, Mark Ryan, M. Ryan, 2001, ATAL.
Mark Ryan, Ravishankar Borgaonkar, Myrto Arapinis, 2012, CCS.
Pierre-Yves Schobbens, Mark Ryan, Aidan Harding, 2005, TACAS.
Mark Ryan, Stéphanie Delaune, Steve Kremer, 2005 .
Pierre-Yves Schobbens, Mark Ryan, Odinaldo Rodrigues, 1996 .
Mark Ryan, Stefan Brass, Udo W. Lipeck, 1991 .
Pierre-Yves Schobbens, Mark Ryan, Odinaldo Rodrigues, 1996 .