https://asplos.dev/wordpress/2023/05/15/cse290s-secured-filesystem/