Demo Data from EDBT 2026 / reviewers in the wild / expert
Robert Thorburn
dblp:273/6408
· DBLP profile ↗
4ranked-venue papers
1as first author
3since 2021 · last 2025
0000-0001-5888-7036ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 1 since 2021Software engineering, systems software and programming languages · 2 · 2 since 2021Theory of computation · 2 · 2 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Network and information security
1 paper |
Cyber-physical and IoT security · 50% Systems and software security · 50% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cyber-physical and IoT security › embedded device attestation
control-flow attestation |
0.8 | 1 | 2024 | One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices · SP 2024 |
Embedded and real-time systems
embedded system security |
0.2 | 1 | 2024 | One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices · SP 2024 |
Methods — techniques the papers use, named apart from their topics
unsupervised graph neural network · 1.5execution graph embedding · 1.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Developing Safe Exception Recovery Mechanisms for CHERI Capability Hardware Using UML-B Formal Analysis
Colin F. Snook, Asieh Salehi Fathabadi, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone |
ABZ | 4 |
| 2024 | One for All and All for One: GNN-based Control-Flow Attestation for Embedded DevicesabstractControl-Flow Attestation (CFA) is a security service that allows an entity (verifier) to verify the integrity of code execution on a remote computer system (prover). Existing CFA schemes suffer from impractical assumptions, such as requiring access to the prover’s internal state (e.g., memory or code), the complete Control-flow graph (CFG) of the prover’s software, large sets of measurements, or tailor-made hardware. Moreover, current CFA schemes are inadequate for attesting embedded systems due to their high computational overhead and resource usage.In this paper, we overcome the limitations of existing CFA schemes for embedded devices by introducing RAGE, a novel, lightweight CFA approach with minimal requirements. RAGE can detect Code Reuse Attacks (CRA), including control-and non-control-data attacks. It efficiently extracts features from one execution trace and leverages Unsupervised Graph Neural Networks (GNNs) to identify deviations from benign executions. The core intuition behind RAGE is to exploit the correspondence between execution trace, execution graph, and execution embeddings to eliminate the unrealistic requirement of having access to a complete CFG.We evaluate RAGE on embedded benchmarks and demonstrate that (i) it detects 40 real-world attacks on embedded software; (ii) Further, we stress our scheme with synthetic returnoriented programming (ROP) and data-oriented programming (DOP) attacks on the real-world embedded software benchmark Embench, achieving 98.03% (ROP) and 91.01% (DOP) F1-Score while maintaining a low False Positive Rate of 3.19%; (iii) Additionally, we evaluate RAGE on OpenSSL, used by millions of devices and achieve 97.49% and 84.42% F1-Score for ROP and DOP attack detection, with an FPR of 5.47%. Marco Chilese, Richard Mitev, Meni Orenbach, Robert Thorburn, Ahmad Atamli-Reineh, Ahmad-Reza Sadeghi |
SP | 4 |
| 2024 | Designing Exception Handling Using Event-B
Asieh Salehi Fathabadi, Colin F. Snook, Thai Son Hoang, Robert Thorburn, Michael J. Butler, Leonardo Aniello, Vladimiro Sassone |
ABZ | 4 |
| 2017 | iCLIC Data Mining and Data Sharing workshop: The present and future of data mining and data sharing in the EU
Robert Thorburn, Sophie Stalla-Bourdillon, Eleonora Rosati |
Comput. Law Secur. Rev. | 1 |