Engineering Secure Storage