Smart Casual Verification of the Confidential Consortium Framework.

Heidi Howard, Markus A. Kuppe, Edward Ashton, Amaury Chamayou, Natacha Crooks

Browse the full NSDI paper archive.