@misc{indiciae0656ac04c519,
  title = {Phoenix: A Formally Verified Regenerating Vault},
  author = {Uri Kirstein and Shelly Grossman and Michael Mirkin and James Wilcox and Ittay Eyal and Mooly Sagiv},
  year = {2021},
  url = {https://arxiv.org/abs/2106.01240},
  note = {Source identifier: 2106.01240}
}