Layering

Managing NymBoxes for Identity and Tracking Protection	Aug 1 2014
Enhancing the OS against Security Threats in System Administration	Dec 3 2012
Fitting Square Pegs Through Round Pipes: Unordered Delivery Wire-Compatible with TCP and TLS	Apr 27 2012
CertiKOS: A Certified Kernel for Secure Cloud Computing	Jul 11 2011
A Dynamic Recursive Unified Internet Design (DRUID)	Dec 24 2010
Minion: an all-terrain packet packhorse to jump-start stalled internet transports	Nov 28 2010
Efficient Cross-Layer Negotiation	Oct 22 2009
Breaking Up the Transport Logjam	Oct 6 2008
UIA: A Global Connectivity Architecture for Mobile Personal Devices	Sep 1 2008
Structured Streams: a New Transport Abstraction	Aug 27 2007
Unmanaged Internet Protocol: Taming the Edge Network Management Crisis	Nov 20 2003
Microkernels Meet Recursive Virtual Machines	Oct 30 1996