Traffic Generation using Containerization for Machine Learning. - Henry Clausen; Robert Flood; David Aspinall 001 (CoRR, 2020)

Checking Contact Tracing App Implementations. - Robert Flood; Sheung Shi Chan; Wei Chen 023; David Aspinall 001 (ICISSP, 2021)

Controlling Network Traffic Microstructures for Machine-Learning Model Probing. - Henry Clausen; Robert Flood; David Aspinall 001 (SecureComm (1), 2021)

Checking Contact Tracing App Implementations with Bespoke Static Analysis. - Robert Flood; Sheung Chi Chan; Wei Chen 023; David Aspinall 001 (SN Comput. Sci., 2022)

Generating Traffic-Level Adversarial Examples from Feature-Level Specifications. - Robert Flood; Marco Casadio; David Aspinall 001; Ekaterina Komendantskaya (ESORICS Workshops (2), 2024)

Measuring the Complexity of Benchmark NIDS Datasets via Spectral Analysis. - Robert Flood; David Aspinall 001 (EuroS&P Workshops, 2024)

Bad Design Smells in Benchmark NIDS Datasets. - Robert Flood; Gints Engelen; David Aspinall 001; Lieven Desmet (EuroS&P, 2024)

Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models. - Robert Flood; Marco Casadio; David Aspinall 001; Ekaterina Komendantskaya (SAC, 2025)