VAOFS: A Verifiable Append-Only File System for Regulatory Compliance | IEEE Conference Publication | IEEE Xplore