A cryptographic file system (user-space NFS server)