3 papers
cs.DC2024
Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus A. Kuppe, Edward Ashton +2
The Confidential Consortium Framework (CCF) is an open-source platform for developing trustworthy and reliable cloud applications. CCF powers Microsoft's Azure Confidential Ledger…
cs.DC2024
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
William Schultz, Edward Ashton, Heidi Howard +1
Many techniques for the automated verification of distributed protocols have been developed over the past several years, but their performance is still unpredictable and their fail…
cs.CR2023
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Edward Ashton +12
Confidentiality, integrity protection, and high availability, abbreviated to CIA, are essential properties for trustworthy data systems. The rise of cloud computing and the growing…