Published research record

Research and projects

This page explains how the published papers fit together: from protocol attestation in industrial control, through DATUM’s runtime monitoring for MAVLink, to deployment studies and PLATUM’s lower-level C monitor synthesis.

The project record below is intentionally limited to published papers and the SPECTRE dissertation record. New proceedings work will be added when it is ready to share publicly.

How the papers connect

One security question, several deployment layers

  1. 1

    Attest the protocol

    Machine-checked safety properties become runtime checks for industrial-control behavior.

  2. 2

    Monitor MAVLink with DATUM

    Refined multiparty session types describe safe message sequences and detect stealthy protocol violations.

  3. 3

    Test the defense in deployed settings

    The published UAV and Modbus studies examine the approach under different cyber-physical and industrial conditions.

  4. 4

    Lower the monitor cost with PLATUM

    Direct C synthesis removes the managed-runtime cost and makes the monitor more suitable for constrained systems.

Project guide

What each project contributes

Loading the project record…