Our staff have a rich history of publishing their work in a range of peer review journals, conferences and other media. Details can be found below.
Alsadi, M., Casey, M., Dragan, C. C., Dupressoir, F., Riley, L., Sallal, M., Schneider, S. and Treharne, H., Wadsworth, J. and Wright, P. (2024) "Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems" IEEE Transactions on Dependable and Secure Computing
Budykho, K., Boureanu, I., Wesemeyer, S., Romero, D., Lewis, M., Rahulan, Y., Rajaona, F. and Schneider, S. (2023) "Fine-Grained Trackability in Protocol Executions" Network and Distributed System Security (NDSS) Symposium 2023
Miller, R., Boureanu, I., Wesemeyer, S., Newton, C.J.P. (2022) "The 5G Key-Establishment Stack: In-Depth Formal Verification and Experimentation" Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security
Smith, M. (2020) "Making the most of your IoT data: Next-generation cloud systems for trusted, provable service delivery" Water RA webinar series on Digital, Data & Sensors, focusing on the Internet of Things, 22/09/2020 Download
Scarles, C., Treharne, H., Casey, M.C., Abidin, H.Z. (2020) "Micro-mobilities in Curated Spaces: Agency, Autonomy and Dwelling in Visitor Experiences of Augmented Reality in Arts and Heritage" Mobilities
Manulis, M., Treharne, H., Newton, C., Casey, M.C. (2020) "Beyond Passwords: the Future of Web Authentication" New Statesman Spotlight: Cyber Security: Adapting to the Pandemic
Choudhary, T.R., Ball, D., Ramos, J.F., Stefansson, E., Harvey, A.R. (2019) "Remote Sensing of Blood Oxygenation using Red-eye Pupil Reflection" Physiological Measurement, 40 12NT01
Sallal, M., Schneider, S., Casey, M., Dragan, C., Dupressoir, F., Riley, L., Treharne, H., Wadsworth, J., Wright, P. (2019) "VMV: Augmenting an Internet Voting System with Selene Verifiability" arXiv:1912.00288 [cs.CR]
Whitefield, J., Casey, M.C, Chen, L., Giannetsos, T., Newton, C., Sasse, R., Treharne, H., Schneider, S., Wesemeyer, S. (2019) "Direct Anonymous Attestation in the Wild" Real World Crypto Symposium 2019 contributed talk Download
Hickman, D.L., Smith, M.I., Lim, J., Jeon, Y. (2018) "Modelling of Celestial Backgrounds" Proceedings of SPIE 10641, Sensors and Systems for Space Applications XI
Al-Khalili, J., Smith, A., Sen, P. (2017) "Gravity and Me: the Force that Shapes our Lives" BBC 4 science programme using an iOS and Android app to measure local relativity effects
Treharne, H., Casey, M.C., Schneider, S., Wesemeyer, S., Ross, T., May, A., Blainey, S., Pritchard, J. (2016) "Integrating Data Sources to Enhance the Experience for Passengers with Special Needs and/or Disabilities through Privacy Aware Mobile Applications" Data to Improve the Customer Experience, RRUKA, 20/09/2016 Download
Arscott, D., Venturini, B., Cheong Took, C., Templeton, M., Babatunde, A., Casey, M.C. (2016) "Delivering Water Security for All During Shale Gas Production" A report co-funded by Innovate UK, DECC and NERC and undertaken by the PyTerra Research Consortium Download
Hickman, D.L., Smith, M.I. (2016) "Mathematical Modeling and Validation in EO System Development" SPIE Press Book
Hickman, D.L., Smith, M.I. (2015) "The Use of Algorithmic Behavioural Transfer Functions in Parametric EO System Performance Models" Proceedings of SPIE 9648, Electro-Optical and Infrared Systems: Technology and Applications XII; and Quantum Information Science and Technology, 964807
Ioannou, P., Casey, M.C., Grüning, A. (2015) "Spike-Timing Neuronal Modelling of Forgetting in Immediate Serial Recall" Proceedings of the International Joint Conference on Neural Networks (IJCNN) 2015. Killarney, Ireland: IEEE Download
Parker, S.C., Hickman, D.L., Smith, M.I. (2015) "Real-time Processing of Dual Band HD Video for Maintaining Operational Effectiveness in Degraded Visual Environments" Proceedings of SPIE 9471, Degraded Visual Environments: Enhanced, Synthetic, and External Vision Solutions 2015
Ramos, J.F., Brewer, L., Gorman, A., Harvey, A. (2014) "Video-Rate Multispectral Imaging: Application to Microscopy and Macroscopy" Classical Optics 2014
Smith, M.I., Casey, M.C. (2012) "Solving the Big Data Problem - Smart Ways to Work Together" Big Data: Turning Big Challenges into Big Opportunities, IET Seminar, 05/12/2012 Download
Casey, M.C., Pavlou, A., Timotheou, A. (2012) "Audio-Visual Localization with Hierarchical Topographic Maps: Modeling the Superior Colliculus" Neurocomputing, vol. 97, pp. 344-356, doi: 10.1016/j.neucom.2012.05.015 Download
Barfoot, K.M., Casey, M.C., Callaway, A.J. (2012) "Combined EEG and Eye-tracking in Sports Skills Training and Performance Analysis" World Congress of Performance Analysis of Sport IX. Worcester, 25-28 July 2012 Download
Casey, M.C., Yau, C.Y., Barfoot, K.M., Callaway, A.J. (2012) "Data Mining of Portable EEG Brain Wave Signals for Sports Performance Analysis: An Archery Case Study" International Convention on Science, Education and Medicine in Sport (ICSEMIS 2012). Glasgow, 19-24 July 2012 Download
Casey, M.C., Hickman, D.L., Pavlou, A., Sadler, J.R.E. (2011) "Small-scale Anomaly Detection in Panoramic Imaging using Neural Models of Low-level Vision" Proceedings of SPIE Defense, Security, and Sensing Conference 2011 on Enhanced and Synthetic Vision, volume 8042B. SPIE, Florida, 25-29 April 2011 Download
Casey, M.C., Pavlou, A., Timotheou, A. (2010) "Mind the (Computational) Gap" Proceedings of the UK Workshop on Computational Intelligence (UKCI 2010), Essex, 8-10 September Download