research

Enhancing Privacy for Internet Communication Protocols: SICSA 2025 Best PhD Dissertation Award

On June 25th, recent PhD graduate, Dr. Gregor Haywood, took to the stage to receive the 2025 “Best PhD Dissertation” award from the Scottish Informatics & Computer Science Alliance (SICSA).

Gregor (Lecturer in the Department of Cybersecurity and Computing at Abertay University, and PhD Award Recipient) is standing next to Debbie Meharg, Head of Applied Informatics at Edinburgh Napier University, Director of Education for SICSA, and the Awards Chair for the SICSA PhD Conference 2025

Gregor (Lecturer in the Department of Cybersecurity and Computing at Abertay University, and PhD Award Recipient) standing next to Debbie Meharg, Head of Applied Informatics at Edinburgh Napier University, Director of Education for SICSA, and the Awards Chair for the SICSA PhD Conference 2025

Haywood’s thesis on “Enhancing Privacy for Secure Internet Communications Using ILNP” focuses on how underlying communication protocols for the Internet could avoid privacy leaks, while continuing to utilise existing and unmodified hardware, infrastructure, and Internet services. His study was driven by his academic interest in the unintended design consequences within large interconnected systems:

I was captivated by working on a project that was socially relevant, deeply technical, and – ultimately – solvable. During my undergraduate degree, I started looking at private communication mechanisms as a side project which turned into my fourth year dissertation, and continued onwards within my PhD. I like finding these unanticipated problems, such as privacy leaks, security vulnerabilities, and environmental impacts, then designing new solutions that fix the problems without disrupting the operation of the larger systems at play.

(Dr Gregor Haywood)

Professor Saleem Bhatti (School of Computer Science, Thesis Supervisor) adds how Haywood’s work demonstrates what he believes to be ‘the first deployable mechanisms for perturbing traffic flow correlation attacks at the network level, as well as perturbing privacy attacks by traffic analysis as might be performed by a machine-learning system.’ For this reason, he was enthusiastic to nominate Haywood’s thesis for SICSA stating it is ‘an excellent balance between science and engineering’ that explores ‘a radical new architecture in addressing using the Identifier Locator Network Protocol (ILNP) to provide new privacy features, and an open-source implementation in FreeBSD that is usable across the existing Internet.’

The SICSA PhD Conference is a flagship event that brings together various participants from fourteen Scottish Universities to network, seek graduate researcher training, and share current interdisciplinary projects.  Dr. Tristan Henderson (Senior Lecturer and Computer Science Director of Postgraduate Research) comments that submitting to awards like SICSA encompasses the primary aim of a PhD which is ‘learning how to become a researcher.’  For this reason, SICSA is a valuable opportunity that allows for ‘visibility’ and ‘recognition’ of one’s work both nationally and internationally adds Professor Bhatti.

In recalling his own researcher journey, Dr. Haywood expresses that whether it is learning a ‘can-do attitude’ from his supervisor or picking up fun new quirks such as ‘hoarding hand-me-down computer hardware,’ the School of Computer Science and his PhD research have given him the space to thrive for who he is:

I suspect I will always have a compulsive need to understand things deeply – but now I have the tools to harness that into computer systems research, and whether it is celebrating the wins at conference dinners with my peers, or consoling each other at the pub when it falls apart, it is hard to put words to the joy I have found in being part of a community that can match my passion, debate my technical points, and jump on board with my research tangent conversation starters.

 It’s also very exciting to celebrate a success in privacy research. Many headlines are about data breaches and privacy failures, and so much research is about finding new privacy vulnerabilities. Being able to say “we made things better” is a great opportunity to inject some hope into the research community.                                            

(Dr Gregor Haywood)

This elation also extends to the pride that both Dr. Henderson and Professor Bhatti feel towards having an alumnus from the School of Computer Science win this award. ‘It is a great honour’ they both expressed, and a fantastic example of the impact of research outside of the university. Dr. Henderson adds that within Computer Science, there are a number of dissertation awards, including SICSA and the BCS in the UK, as well as the ACM internationally. He encourages students to indulge in these opportunities, with Dr. Haywood noting that ‘participating in this and other inter-institutional networking events was a valuable way for me to broaden my research mindset throughout the PhD’ and if you are considering applying yourself or nominating a student for it, ‘do it! You have nothing to lose and plenty to gain. Remember it is the reviewers’ job to judge your work, not yours – you just need to judge whether you have time to submit.’

Dr. Haywood is now a Lecturer in the Department of Cybersecurity and Computing at Abertay University with key aspects of his work being available to read online until his thesis is published in June 2026.

ILNP web page: https://ilnp.cs.st-andrews.ac.uk

Blog written by Nina Globerson

PGR Seminar by Constantine Theocharis + Yigit Yazicilar

The next PGR seminar is taking place this Friday 21st March at 2PM in JC 1.33a

Below are the Titles and Abstracts for Constantine and Yigit’s talks – Please do come along if you are able.

Constantine Theocharis

Title: Efficient Programs with Dependent Types

Abstract:

Dependent types allow us to program using the full power of set theory at our disposal. We can encode conditions of arbitrary complexity, and then show that these conditions are met by our programs, statically. While this paradigm is very effective for verifying systems, often their real-world implementations are done in languages without these verification capabilities, because they produce more efficient programs. In this talk, I will explore some of the main sources of inefficiency in (functional) languages with dependent types, and some work that aims to mitigate these, so that verification and implementation can happen in the same language. A common pattern in these languages is to have ‘refinements’ of data which carry along with them proofs of the properties we care about. The first piece of work is about how to make these refinements true zero-cost abstractions. Another source of inefficiency is that these languages must heap allocate almost everything since the sizes of types cannot always be known at compile time. The second piece of work is about how to keep track of type sizes as part of the type system, so that all heap allocations are explicit and unnecessary for the most part.

Yigit Yazicilar

Title: Automated Nogood-Filtered Fine-Grained Streamlining

Abstract:
We present an automated method to enhance constraint models through fine-grained streamlining, leveraging nogood information from learning solvers. This approach reformulates the streamlining process by filtering streamliners based on nogood data from the SAT solver CaDiCaL. Our method generates candidate streamliners from high-level Essence specifications, constructs a streamliner portfolio using Monte Carlo Tree Search, and applies these to unseen problem instances. The key innovation lies in utilising learnt clauses to guide streamliner filtering, effectively reformulating the original model to focus on areas of high search activity. We demonstrate our approach on the Covering Array Problem, achieving significant speedup compared to the state-of-the-art coarse-grained method. This work not only enhances solver efficiency but also provides new insights into automated model reformulation, with potential applications across a wide range of constraint satisfaction problems.

PGR Seminar with Mirza Hossain

The next PGR seminar is taking place this Friday 14th March at 2PM in JC 1.33a

Below are the Title and Abstract for Mirza’s talk – Please do come along if you are able.

Title: BioFuse: Optimizing Biomedical Embeddings with Foundation Models

Abstract: Pre-trained foundation models have revolutionized biomedical AI, excelling in specialized domains like radiology and histopathology. However, integrating multiple models remains a challenge due to compatibility and feature fusion issues. BioFuse is an open-source framework designed to optimize biomedical embeddings by automatically selecting and fusing the best model combinations. Leveraging 9 state-of-the-art foundation models and a grid search strategy, BioFuse generates task-specific embeddings that improve downstream classification. On the MedMNIST+ benchmark, it achieves SOTA AUC in 5/12 datasets while maintaining near-SOTA performance in others. Surprisingly, our experiments reveal strong cross-modal capabilities, where models trained on one modality perform well on others. With a high-level API and an extensible architecture, BioFuse streamlines model integration and paves the way for new insights in biomedical data fusion.

PhD student project showcase in CyberASAPY8 Demo Day

A group of PhD students: Yaxiong Lei and Zihang Zhang, in our school have been awarded a CyberASAP project. This is funded by the Department of Science, Innovation, and Technology (DSIT) and organised by InnovateUK. CyberASAP aims to fund innovative cybersecurity solutions from academics. Their project, LockEyeGaze, confronts the cybersecurity challenge of sophisticated computer vision and 3D modelling technologies such as deepfake and AI-generated tampering. They are leveraging the dynamic patterns of eye movements for security, which are significantly more difficult to replicate than static biometric features like static face, iris and fingerprints. Their project is selected to present at CyberASAP Year 8 Demo Day in Canary Wharf, London today.

Links:

https://web-eur.cvent.com/event/4a986031-294f-4ad0-9a9b-a4863690bd19/summary

https://iuk-business-connect.org.uk/events/cyberasap-year-8-demo-day/

PGR Seminar with Ben Claydon and Erdem Kus

The next PGR seminar is taking place this Friday 28th February at 2PM in JC 1.33a

Below are Titles and Abstracts for Ben and Erdem’s talks – Please do come along if you are able.

Ben Claydon

Title: Mechanisms for Similarity Search

Abstract:

Similarity search encompasses the task of finding those objects in a large collection which are most alike to, in some way, an object presented by the user as a query. The domain of these objects is wide, from images to text to chemical structures. This task becomes yet harder when the database becomes extremely large, and a sublinear query time with respect to the database size becomes a requirement. This talk discusses why the problem becomes so hard when presented with complex data, and how algorithms and data structures can be engineered to serve these queries.

Erdem Kus

Title: Frugal Algorithm Selection

Abstract: When solving decision and optimisation problems, many competing algorithms (model and solver choices) have complementary strengths. Typically, there is no single algorithm that works well for all instances of a problem. Automated algorithm selection has been shown to work very well for choosing a suitable algorithm for a given instance. However, the cost of training can be prohibitively large due to running candidate algorithms on a representative set of training instances. In this work, we explore reducing this cost by choosing a subset of the training instances on which to train. We approach this problem in three ways: using active learning to decide based on prediction uncertainty, augmenting the algorithm predictors with a timeout predictor, and collecting training data using a progressively increasing timeout. We evaluate combinations of these approaches on six datasets from ASLib and present the reduction in labelling cost achieved by each option.

PGR Seminar with Sharon Pisani

The next PGR seminar is taking place this Friday 21st February at 2PM in JC 1.33a

Below is a Title and Abstract for Sharon’s talk – Please do come along if you are able.

Title: Digital Cultural Landscapes for Sustainable Development in Remote and Island Communities

Abstract: Heritage plays a crucial role in community identity and sustainable development, yet remote and island communities often face challenges in engaging with and protecting their landscapes. This research explores how emergent digital technologies—such as 3D modelling, VR, and AR—can enhance heritage engagement and contribute to sustainable development. Using a practice-led methodology, case studies from Scotland and Malta demonstrate how digital cultural landscapes can support climate action, institutional capacity-building, and sustainable communities. A sustainable virtual museum framework is being developed, linking heritage to real-world environmental and socio-economic challenges. This presentation highlights the findings from these case studies, and the next steps in developing an immersive digital environment for an underwater heritage site.

PGR Seminar with Sachin Yadav and Junyu Zhang

The next PGR seminar is taking place this Friday 14th February at 2PM in JC 1.33a

Below is a title and Abstract for Sachin and Junyu’s talks – Please do come along if you are able.

Sachin Yadav

Title: Reimagining the Digital Gig Economy: Evaluating the economic feasibility and technological capabilities of physical cooperative gig platform

Abstract: The gig economy, fuelled by digital platforms, has transformed the labour markets around the world, offering flexibility but often at the cost of security for the worker and fair compensation. This presentation explores platform cooperatives – a democratically owned and governed alternative – as a potential solution to these challenges. I will delve into the economic feasibility and technological capabilities of physical delivery cooperatives, comparing them to traditional investor-owned platforms. By examining key performance metrics, regulatory environments, and worker empowerment, my ongoing work will assess whether platform cooperatives can achieve a comparable level of service while fostering more equitable working conditions. This presentation aims to spark discussion on the future of the gig economy and the role cooperative models can play in creating a more sustainable digital labour landscape.

Junyu Zhang

Title: Engaging Culture Heritage with Authentic Characters to Support Inclusive Learning

Abstract: Digitalization opens up new opportunities for cultural heritage, and lately the exploration of virtual reality has created new forms of representation of cultural content for educational institutions, museum exhibitions, and heritage preservation organizations. High-fidelity technology allows virtual agents to simulate realistic human appearances and behaviour to interact and engage with their surroundings. This speech presents work-in-progress research regarding designing, creating and utilising authentic characters to strengthen the exhibition of cultural heritage. Through the discussion on research design and practice, this research examines the capability of characters to enrich immersion and communication with heritage. This presentation introduces the realism and authenticity of character design, clarifies the goals for digitalization for inclusive learning opportunities in SDG, and ends with future work.

PGR Seminar with Mustafa Abdelwahed and Maria Andrei

The next PGR seminar is taking place this Friday 6th December at 2PM in JC 1.33a

Below is a title and Abstract for Mustafa and Maria’s talks – Please do come along if you are able.

Mustafa Abdelwahed:

Title: Behaviour Planning: A toolbox for diverse planning

Abstract:

Diverse planning approaches are utilised in real-world applications like risk management, automated streamed data analysis, and malware detection. These approaches aim to create diverse plans through a two-phase process. The first phase generates plans, while the second selects a subset of plans based on a diversity model. A diversity model is a function that quantifies the diversity of a given set of plans based on a provided distance function.

Unfortunately, existing diverse planning approaches do not account for those models when generating plans and struggle to explain why any two plans are different.

Existing diverse planning approaches do not account for those models when generating plans, hence struggle to explain why any two plans are different, and are limited to classical planning.

To address such limitations, we introduce Behaviour Planning, a novel toolbox that creates diverse plans based on customisable diversity models and can explain why two plans are different concerning such models.

Maria Andrei: 

Title: Leveraging Immersive Technology to Enhance Climate Communication, Education & Action

Abstract: Climate change represents one of the most pressing challenges of our time, not only in its environmental impacts, but also as a pivotal science communication problem. Despite widespread scientific consensus on the causes and mitigation strategies for climate change, public understanding remains deeply fragmented and polarized. This disconnect hinders the collective action required from individuals, organizations, and policymakers to combat global warming effectively. My research explores the potential of immersive technologies to bridge the gap between scientific knowledge and public understanding by leveraging experiential learning experiences to inspire the attitudinal and behavioural shifts necessary to address climate change.

World-Leading PhD Scholarship in Health Informatics

A fully-funded PhD scholarship is available to support an exceptional student wishing to undertake doctoral research in health informatics, in particular looking at analysing and predicting disease trajectories of multimorbidity. This prestigious PhD scholarship is awarded by St Leonard’s Postgraduate College at the University of St Andrews and will be supervised by Dr Areti Manataki, Dr Katherine Keenan, Prof Colin McCowan and Dr Michail Papathomas. Applications must be received by 12 June 2023.

Further information, including how to apply, can be found at: https://www.st-andrews.ac.uk/study/fees-and-funding/scholarships/scholarships-catalogue/postgraduate-scholarships/world-leading-scholarship-04-computer-science-medicine-geography/

Tom Kelsey appointed Associate Editor of Human Reproduction Update

Arne Sunde, the incoming Editor-in-Chief, has appointed Tom Kelsey as Associate Editor of Human Reproduction Update.

Human Reproduction Update is the leading journal in Reproductive Medicine, with an Impact Factor of 11.852. The journal publishes comprehensive and systematic review articles in human reproductive physiology and medicine, and is published on behalf of the European Society of Human Reproduction and Embryology (ESHRE). The Associate Editor system at Human Reproduction Update has been in place since the beginning of 2001 and it has a significant positive effect on the quality and dynamism of the journal.

In the ISI JCR Global Ranking for 2017, Human Reproduction Update is ranked first of 29 journals in Reproductive Biology, and first of 82 journals in Obstetrics & Gynecology.

Tom Kelsey has published extensively in Human Reproduction Update and its sister journals Human Reproduction (impact factor 4.949) and Molecular Human Reproduction (impact factor 3.449). He is also Associate Editor for the Open Access journals Frontiers in Endocrinology and Frontiers in Physiology. He is a regular reviewer for these journals and also the British Medical Journal, BMJ Open, Health Education Journal, Nature Scientific Reports, PLOS One, Mathematical Medicine and Biology, Systems Biology in Reproductive Medicine, and the European Journal of Obstetrics & Gynecology and Reproductive Biology.