TY  - RPRT
TI  - Smart Casual Verification of the Confidential Consortium Framework
AU  - Heidi Howard
AU  - Markus A. Kuppe
AU  - Edward Ashton
AU  - Amaury Chamayou
AU  - Natacha Crooks
PY  - 2024
UR  - https://arxiv.org/abs/2406.17455
ID  - 2406.17455
ER  -