@misc{indiciae9f1f0839d142,
  title = {Smart Casual Verification of the Confidential Consortium Framework},
  author = {Heidi Howard and Markus A. Kuppe and Edward Ashton and Amaury Chamayou and Natacha Crooks},
  year = {2024},
  url = {https://arxiv.org/abs/2406.17455},
  note = {Source identifier: 2406.17455}
}