Final Project for 6.858: Encrypted filesystem