TeaSafe: An encrypted container format