Articles with public access mandates - Mark D. RyanLearn more
Not available anywhere: 1
Smart-guard: defending user input from malware
M Denzel, A Bruni, MD Ryan
2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced …, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 24
Statverif: Verification of stateful processes
M Arapinis, J Phillips, E Ritter, MD Ryan
Journal of Computer security 22 (5), 743-821, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Privacy through pseudonymity in mobile telephony systems
M Arapinis, LI Mancini, E Ritter, M Ryan
2014 Network and Distributed System Security Symposium, 1-14, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Caveat coercitor: Coercion-evidence in electronic voting
GS Grewal, MD Ryan, S Bursuc, PYA Ryan
2013 IEEE Symposium on Security and Privacy, 367-381, 2013
Mandates: UK Engineering and Physical Sciences Research Council
DTKI: A new formalized PKI with verifiable trusted parties
J Yu, V Cheval, M Ryan
The Computer Journal 59 (11), 1695-1713, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Du-vote: Remote electronic voting with untrusted computers
GS Grewal, MD Ryan, L Chen, MR Clarkson
2015 IEEE 28th Computer Security Foundations Symposium, 155-169, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Secondary prevention therapies in acute coronary syndrome and relation to outcomes: observational study
CK Chow, D Brieger, M Ryan, N Kangaharan, KK Hyun, T Briffa
Heart Asia 11 (1), 2019
Mandates: National Health and Medical Research Council, Australia
Decim: Detecting endpoint compromise in messaging
J Yu, M Ryan, C Cremers
IEEE Transactions on Information Forensics and Security 13 (1), 106-118, 2017
Mandates: Luxembourg National Research Fund
Analysis of privacy in mobile telephony systems
M Arapinis, LI Mancini, E Ritter, MD Ryan
International Journal of Information Security 16, 491-523, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Outcomes of anemic patients presenting with acute coronary syndrome: An analysis of the Cooperative National Registry of Acute Coronary Care, Guideline Adherence and Clinical …
R Huynh, K Hyun, M D'Souza, N Kangaharan, PC Shetty, J Mariani, ...
Clinical cardiology 42 (9), 791-796, 2019
Mandates: National Health and Medical Research Council, Australia
Composition of password-based protocols
C Chevalier, S Delaune, S Kremer, MD Ryan
Formal Methods in System Design 43 (3), 369-413, 2013
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Modelling of 802.11 4-way handshake attacks and analysis of security properties
RR Singh, J Moreira, T Chothia, MD Ryan
Security and Trust Management: 16th International Workshop, STM 2020 …, 2020
Mandates: European Commission
Root-of-trust abstractions for symbolic analysis: Application to attestation protocols
G Fotiadis, J Moreira, T Giannetsos, L Chen, PB Rønne, MD Ryan, ...
International Workshop on Security and Trust Management, 163-184, 2021
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Stateful applied pi calculus: Observational equivalence and labelled bisimilarity
M Arapinis, J Liu, E Ritter, M Ryan
Journal of Logical and Algebraic Methods in Programming 89, 95-149, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Tests for establishing security properties
V Cheval, S Delaune, M Ryan
International Symposium on Trustworthy Global Computing, 82-96, 2014
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Device attacker models: fact and fiction
J Yu, MD Ryan
Security Protocols XXIII: 23rd International Workshop, Cambridge, UK, March …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Symbolon: Enabling Flexible Multi-device-based User Authentication
T Laing, E Marin, MD Ryan, J Schiffman, G Wattiau
2022 IEEE Conference on Dependable and Secure Computing (DSC), 1-12, 2022
Mandates: UK Engineering and Physical Sciences Research Council
OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels
M Zhang, E Marin, M Ryan, V Kostakos, T Murray, B Tag, D Oswald
Proceedings of the 19th International Conference on Availability …, 2024
Mandates: National Health and Medical Research Council, Australia, UK Engineering and …
Remote Registration of Multiple Authenticators
Y Wang, T Laing, J Moreira, MD Ryan
Proceedings of the Fourteenth ACM Conference on Data and Application …, 2024
Mandates: UK Engineering and Physical Sciences Research Council
Automatic verification of transparency protocols
V Cheval, J Moreira, M Ryan
2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P), 107-121, 2023
Mandates: UK Engineering and Physical Sciences Research Council, Agence Nationale de …
Publication and funding information is determined automatically by a computer program