Phoenix: A Formally Verified Regenerating Vault. - Uri Kirstein; Shelly Grossman; Michael Mirkin; James Wilcox 004; Ittay Eyal; Mooly Sagiv (CoRR, 2021)