SaToSS research
The group carries out research on a variety of topics such as:
Security Protocols
This area focuses on the development and analysis of protocols that ensure the security of digital communications and transactions, including specialized areas like e-voting, distance-bounding protocols, and blockchain technologies.
Attack Trees and Security Analysis
This research involves creating graphical models (attack trees) that depict potential security breaches and analysing these models to understand and mitigate security threats.
Privacy
This topic addresses the protection of personal information in digital environments, with a particular focus on enhancing privacy in social networks and machine learning applications.
Modelling and Analysis of Biological Systems
Research here applies principles of security and formal analysis to biological systems, aiming to understand complex biological processes through computational models.
Process Algebra and Model Checking
This field uses algebraic methods and model checking techniques to design and verify the correctness and efficacy of computational processes and protocols.
Big Data Analysis
This topic explores methods for handling and analysing large data sets to derive meaningful insights, with implications for security and privacy.
Malware Detection and Mobile Systems Security
Research in this area focuses on identifying and mitigating malicious software threats, particularly in mobile environments.
Security of Cyber-Physical Socio-Technical Systems
This involves securing systems that integrate physical processes with computational elements and human interactions, such as smart grid and transportation systems.
Trust Management
This research seeks to build and manage trust in various digital and networked systems through policies, protocols, and management strategies.
Software Security
Focused on identifying and fixing security vulnerabilities in software, including tools and methods for automated vulnerability detection.
Security in Space
This niche area studies the unique security challenges associated with space technology and missions, from satellite communications to interplanetary systems.