Towards a Declarative Language and System for Secure Networking.

Martn Abadi, Boon Thau Loo

Browse the full NSDI paper archive.