Cryptographic Security for a High-Performance Distributed File System