Recent publications
Article
Li, R, Li, Y, Wang, Q, Duan, S, Wang, Q & Ryan, M 2025, 'Accountable Decryption Made Formal and Practical', IEEE Transactions on Information Forensics and Security, vol. 20, 10798458, pp. 620-635. https://doi.org/10.1109/TIFS.2024.3515808
Zhang, M, Wang, C, Jiang, W, Oswald, D, Murray, T, Marin, E, Wei, J, Ryan, M & Kostakos, V 2025, 'Using Vibration for Secure Pairing with Implantable Medical Devices: Development and Usability Study', JMIR Biomedical Engineering, vol. 10, e57091. https://doi.org/10.2196/57091
Conference article
Li, R, Wang, Q, Wang, Q, Galindo, D & Ryan, M 2022, 'SoK: TEE-assisted confidential smart contract', Proceedings on Privacy Enhancing Technologies, vol. 2022, no. 3, pp. 711-731. https://doi.org/10.56553/popets-2022-0093
Conference contribution
Liu, E, Ryan, M, Zhou, L & Berrang, P 2026, Evasion Under Blockchain Sanctions. in WWW '26: Proceedings of the ACM Web Conference 2026. Association for Computing Machinery (ACM), WWW'26, Dubai, United Arab Emirates, 13/04/26.
Spielman, J, Oswald, D, Ryan, M & Van Bulck, J 2025, Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels. in 28th International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2025). IEEE, 28th International Symposium on Research in Attacks, Intrusions, and Defenses, Gold Coast, Australia, 19/10/25.
Zhang, C, Yang, X, Oswald, D, Ryan, M & Jovanovic, P 2025, Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos. in 2025 IEEE Symposium on Security and Privacy (SP)., 11023495, IEEE Symposium on Security and Privacy, IEEE, pp. 4643-4662, 46th IEEE Symposium on Security and Privacy, San Francisco, California, United States, 12/05/25. https://doi.org/0.1109/SP61157.2025.00237
Zhang, M, Marin, E, Ryan, M, Kostakos, V, Murray, T, Tag, B & Oswald, D 2024, OOBKey: Key Exchange with Implantable Medical Devices Using Out-Of-Band Channels. in ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security., 191, Association for Computing Machinery (ACM), 19th International Conference on Availability, Reliability and Security, Vienna, Austria, 30/07/24. https://doi.org/10.1145/3664476.3670876
Fentham, D, Parker, D & Ryan, M 2024, Using Reed-Muller Codes for Classification with Rejection and Recovery. in M Mosbah, F Sèdes, N Tawb, T Ahmed, N Boulahia-Cuppens & J Garcia-Alfaro (eds), Foundations and Practice of Security: 16th International Symposium, FPS 2023, Bordeaux, France, December 11–13, 2023, Revised Selected Papers, Part I. 1 edn, Lecture Notes in Computer Science, vol. 14551, Springer, pp. 36-52, 16th International Symposium on Foundations and Practice of Security, Bordeaux, France, 11/12/23. https://doi.org/10.1007/978-3-031-57537-2_3
Cheval, V, Moreira, J & Ryan, M 2023, Automatic verification of transparency protocols. in 2023 IEEE 8th European Symposium on Security and Privacy (EuroS&P). IEEE European Symposium on Security and Privacy, IEEE, pp. 107-121, 8th IEEE European Symposium on Security and Privacy, Delft, Netherlands, 3/07/23. https://doi.org/10.1109/EuroSP57164.2023.00016
Moreira-Sanchez, J, Ryan, M & Garcia, F 2022, Protocols for a two-tiered trusted computing base. in V Atluri, R Di Pietro, C D. Jensen & W Meng (eds), Computer Security – ESORICS 2022: 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III. 1 edn, Lecture Notes in Computer Science, vol. 13556, Springer, Cham, pp. 229–249, 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, 26/09/22. https://doi.org/10.1007/978-3-031-17143-7_12
Laing, T, Marin, E, Ryan, MD, Schiffman, J & Wattiau, G 2022, Symbolon: Enabling Flexible Multi-device-based User Authentication. in 2022 IEEE Conference on Dependable and Secure Computing (DSC)., 9888854, IEEE Conference on Dependable and Secure Computing, Institute of Electrical and Electronics Engineers (IEEE), 5th IEEE Conference on Dependable and Secure Computing, DSC 2022, Edinburgh, United Kingdom, 22/06/22. https://doi.org/10.1109/DSC54232.2022.9888854
Paper
Chen, L, Ho, CH, Ryan, M & Williamson, C 2025, 'Temporally-limited blind-regroup of anonymous credentials', pp. 75-93. https://doi.org/10.1145/3733802.3764056
Preprint
Spielman, J, Oswald, D, Ryan, M & Van Bulck, J 2025 'Activation Functions Considered Harmful: Recovering Neural Network Weights through Controlled Channels' arXiv. <https://arxiv.org/abs/2503.19142>
Zhang, C, Yang, X, Oswald, D, Ryan, M & Jovanovic, P 2024 'Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos' Cryptology ePrint Archive. <https://eprint.iacr.org/2024/1436>
Cheval, V, Moreira, J & Ryan, M 2023 'Automatic verification of transparency protocols (extended version)' arXiv. https://doi.org/10.48550/arXiv.2303.04500
View all publications in research portal