Software & Datasets
Open-source tools, corpora & benchmarks
I treat datasets and tools as first-class research outputs. Below are the resources I have
built or co-maintained that are publicly available. For companion publications see the
Publications page.
Software / tool
Formal methods
OCaml
GPL
Lex is a language for formal Compliance by Design. It lets developers formalize and refine legal requirements into enforceable security policies that can be used to make applications compliant.
Software / tool
Software / tool
Formal methods
Rust / OCaml
GPL
EnfFlash is our latest-generation runtime enforcement tool for Metric First-Order Temporal Logic (MFOTL), with state-of-the-art performance on complex policies and logs and broad applications from regulatory compliance to agentic security.
Software / tool
Software / tool
Formal methods
OCaml
GPL
EnfGuard is a runtime enforcement tool for Metric First-Order Temporal Logic (MFOTL).
Software / tool
Dataset
Computational infrastructure
BLUE_EP is the first Europe-wide dataset of municipality-level results of European Parliament (EP) elections.
Dataset