Research
Code-based and lattice-based schemes that stay secure against quantum adversaries: key-encapsulation mechanisms, digital signatures and the hardness of the underlying decoding and equivalence problems. The group contributes to NIST-track designs and their cryptanalysis.
Design and analysis of LDPC, MDPC and spatially-coupled codes, including bit-flipping decoders, decoding-failure-rate bounds and rate-compatible constructions for reliable communication and for cryptographic use.
Design and analysis of quantum LDPC codes, including quasi-dyadic CSS constructions and genuinely non-CSS stabilizer XYZ codes, and of triorthogonal codes.
Securing the wireless link itself: physical-layer authentication, angle- of-arrival features and resilience to impersonation attacks, complementing cryptography at the lowest layer of the stack.
Quantitative cyber-risk assessment, machine-learning-based attack detection and methods for estimating the likelihood and impact of cyber incidents for organisations.
Coding-theoretic tools for distributed ledgers: protection against data- availability attacks, consensus based on fuzzy signatures and lightweight blockchain primitives for embedded and IoT devices.
Channel coding and synchronisation for earth-to-space links: CCSDS- compliant telecommand and telemetry, tail-sequence detection and the spectral behaviour of coded space signals.