9 on this site · 46 links
The AIETF arrives, and not a moment too soon28th Feb 2025
Decentralised Capability-based Code Collaboration using Matrix1st Jan 2022
Not-quite-so-broken TLS in OCaml1st Jan 2014
Evolving TCP: how hard can it be?1st Dec 2012
Simulating XMPP Group Communication1st Jan 2011Functional ABNF parser generators1st Jan 2011
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009
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
Decentralised Capability-based Code Collaboration using Matrix1st Jan 2022Not-quite-so-broken TLS in OCaml1st Jan 2014Evolving TCP: how hard can it be?1st Dec 2012Simulating XMPP Group Communication1st Jan 2011Functional ABNF parser generators1st Jan 2011Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions1st Aug 2005On the challenge of delivering high-performance, dependable, model-checked internet servers1st Jun 2005