PhD Theses

Journals Conferences PhD Theses

Nicolas Coppik: “Efficient Dependability Assessment of Systems Software”, May 2020	PDF
Tsvetoslava Vateva-Gurova: “Analysis and Detection of Cache-Based Exploits”, Dec. 2019	PDF
Heng Zhang: “On the Effective Use of Data Dependency for Reliable Cloud Service Monitoring”, Nov. 2019	PDF
Habib Saissi: “On the Application of Formal Techniques for Dependable Concurrent Systems”, Mar. 2019	PDF
Oliver Schwahn: “On the Efficient Design and Testing of Dependable Systems Software”, Mar. 2019	PDF
Hatem Ismail: “Analyzing and Mitigating Security Threats in P2P Systems”, Sep. 2018	PDF
Ahmed Taha: “Quantitative Trust Assessment in the Cloud”, Apr. 2018	PDF
Kubilay Demir: “A Secure and Reliable Communication Platform for the Smart Grid”, Dec. 2017	PDF
Azad Ali: “Fault-Tolerant Spatio-Temporal Compression Scheme for Wireless Sensor Networks”, Nov. 2016	PDF
Mohammadreza Mahmudimanesh: “Efficient Saptio-Temporal Sampling in Wireless Sensor Networks Based on Compressive Sampling”, Jul. 2015	PDF
Thorsten Piper: “Assessing and Enhancing Functional Safety Mechanisms for Safety-Critical Software Systems”, Jun. 2015	PDF
Daniel Germanus: “Increasing Structured P2P Protocol Resilience to Localized Attacks”, Jun. 2015	PDF
Stefan Winter: “On the Utility of Higher Order Fault Models for Fault Injections”, May 2015	PDF
Piotr Szczytowski: “Wireless Sensor Networks Maintenance Framework”, Apr. 2013	PDF
Matthias Majuntke: “Data Consistency and Coordination for Untrusted Environments”, Sep. 2012	PDF
Peter Bokor: “Efficient Verification of Fault-Tolerant Message-Passing Protocols”, Nov. 2011	PDF
Dan Dobre: “Time-Efficient Asynchronous Service Replication”, Sep. 2010	PDF
Marco Serafini: “Efficient and Low-Cost Fault Tolerance for Web-Scale Systems”, Sep. 2010	PDF
Brahim Ayari: “Perturbation-Resilient Atomic Commit Protocols for Mobile Environments”, Sep. 2010	PDF
Faisal Sheikh Karim: “Tunable Reliable Information Transport”, Jun. 2010	PDF
Constantin Sârbu: “Operational Profiling of OS Drivers”, May 2009	PDF
Md. Shariful Islam: “Dependability Driven System Level Co-Design and Optimization of Embedded Systems”, Dec. 2008	PDF
Andréas Johansson: “Robustness Evaluation of Operating Systems”, Feb. 2008	PDF
Arshad Jumka: “Automated Design of Efficient Fail-Safe Fault-Tolerance”, Nov. 2003	PDF
Örjan Askerdal: “On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors”, Chalmers University of Technology, Jun. 2003	PDF
Vilgot Claesson: “Efficient and Reliable Communication in Distributed Embedded Systems”, Chalmers University of Technology, Dec. 2002	PDF
Martin Hiller: “A Software Profiling Methodology for Design and Assessment of Dependable Software”, Chalmers University of Technology, Oct. 2002	PDF

News & Events
IEEE TFS’24 Y. Li et al, Adversarial Attack Detection via Fuzzy Predictions. pdf
ECCV’24 Y. Li et al, Self-Supervised Representation Learning for Adversarial Attack Detection. pdf
ANRW '24 S. Kastanakis et al, Investigating Location-Aware Advertisements in Anycast IP Networks. pdf
IJCNN '24 Y. Li et al, Rethinking Self-Supervised Learning for Cross-Domain Adversarial Sample Recovery. pdf
ICANN '24 Y. Li et al, Federated Adversarial Learning for Robust Autonomous Landing Runway Detection. pdf
IJCNN '24 A. Pellcier et al, UNICAD: A Unified Approach for Attack Detection, Noise Reduction and Novel Class Identification. pdf
NFM '24 O. Gunasekera et al, Real Arithmetic in TLAPM. pdf
IEEE TCC S. Manzoor et al, Enabling Multi-Layer Threat Analysis in Dynamic Cloud Environments. pdf
arXiv S. Winter et al, Error Propagation Analysis for Multithreaded Programs: An Empirical Approach. pdf
Springer Open’24 E. Chuah et al, An Empirical Study of Reflection Attacks Using NetFlow Data. pdf
Space Policy’23 V. Varadharajan et al, Security Challenges When Space Merges With Cyberspace. pdf
LANMAN’23 S. Rene et al, Scalable Content-centric Routing for Hybrid ICN. pdf
DAPPS’23 N. Keizer et al, Ditto: Towards Decentralised Similarity Search for Web3 Services. pdf
IMC’23 L. Balduf et al, The Cloud Strikes Back: Investigating the Decentralization of IPFS. pdf
CAMLIS’23 S. Trawicki et al, Compilation as a Defense: Enhancing DL Model Attack Robustness via Tensor Optimization. pdf
CAMLIS’23 L. Birch et al, Model Leeching: An Extraction Attack Targeting LLMs. pdf
SSCI’23 Y. Li et al, Fuzzy Detectors Against Adversarial Attacks. pdf
IMC’23 S. Kastanakis et al, 20 Years of Inferring Inter-domain Routing Policies. pdf
DASC’23 B. Yuksek et al, Federated Meta Learning for Visual Navigation in GPS-denied Urban Airspace. pdf
NDSS’24 S. Sridhar et al, Content Censorship in the InterPlanetary File System. pdf
MASS’23 Z. Yu et al, RAFL: A Robust and Adaptive Federated Meta-Learning Framework Against Adversaries. pdf
TOPS’23 Y. Lu et al, Privacy-preserving Decentralized Federated Learning over Time-varying Communication Graph. pdf
T-ASE’23 Y. Lu et al, Transactive Energy System Deployment over Insecure Communication Links. pdf
IJCNN’23 Y. Li et al, Domain Generalization and Feature Fusion for Cross-domain Imperceptible Adversarial Attack Detection. pdf
CyBok: SSG Prof. Suri defines NCSC’s CyBOK knowledge area on Distributed Systems Security
Prof. Suri to lead LU's ACE-CSE
Security Institute to lead £3M UKRI-TAS research node to examine cybersecurity in autonomous systems.^New
MSN'22 Best Paper Award for Z. Yu et al, PPFM: An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework
ICNC '23: A. Taha et al, Cloud Security Requirement Based Threat Analysis, to appear.
MSN'22: Z. Yu et al, PPFM: An Adaptive and Hierarchical Peer-to-Peer Federated Meta-Learning Framework. pdf
CIDUE/SSCI'22: E. Soares et al, Similarity-based Deep Neural Network to Detect Imperceptible Adversarial Attacks. pdf
ISSRE'22: Y. Chen et al, SlowCoach: Mutating Code to Simulate Performance Bugs. pdf
FGCS'22: M. Bradbury et al, Information Management for Trust Computation on Resource-constrained IoT Devices. pdf
ToSN'22: M. Bradbury et al, Threat Modelling Guided Trust-based Task Offloading for Resource-constrained Internet of Things. pdf
NCA'21: E. Chuah et al, Challenges in Identifying Network Attacks Using Netflow Data. pdf
COSE'21: B. Green et al, PCaaD: Towards automated determination and exploitation of industrial systems. pdf