9 on this site · 7 links
A programmatic diagramming library for OCaml1st Apr 2026OCaml-CI: A Zero-Configuration CI1st Aug 2020
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009
Melange: creating a "functional" internet1st Jun 2007Melange: creating a "functional" internet1st Jun 2007
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005
On the challenge of delivering high-performance, dependable, model-checked internet servers1st Jun 2005
The Case for Abstracting Security Policies1st Jun 2003