6 on this site · 0 links
Creating High-Performance, Statically Type-Safe Network Applications1st May 2010
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language1st Nov 2009
Melange: 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