Automata-Theoretic Protocol Programming (Invited talk) (abstract)

Passlab: A Password Security Tool for the Blue Team (abstract)

Robustness Verification of Support Vector Machines (abstract)

Blockmania QED. (abstract)

Data Types in Logic Programming (abstract)

Discrete Polymorphism with Gradual Typing (abstract)

Static Analysis of Python Programs (abstract)

Provable cyber security for industrial control systems (abstract)

Delayed Hybrid Systems (abstract)

Formal Verification of Autonomous Driving Systems (abstract)

Synthesising Monitors for Autonomous Traffic (abstract)