AMP: Authentication of Media via Provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Shabnam Erfani; Kevin Kane; Alex Shamis (CoRR, 2020)

AMP: authentication of media via provenance. - Paul England; Henrique S. Malvar; Eric Horvitz; Jack W. Stokes; Cédric Fournet; Rebecca Burke-Aguero; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; John Deutscher; Shabnam Erfani; Matt Gaylor; et al. (MMSys, 2021)

PAC: Practical Accountability for CCF. - Alex Shamis; Peter R. Pietzuch; Miguel Castro 001; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Cédric Fournet; Matthew Kerner; Julien Maffre; Manuel Costa; Mark Russinovich (CoRR, 2021)

IA-CCF: Individual Accountability for Permissioned Ledgers. - Alex Shamis; Peter R. Pietzuch; Burcu Canakci; Miguel Castro 001; Cédric Fournet; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Antoine Delignat-Lavaud; Matthew Kerner; Julien Maffre; Olga Vrousgou; et al. (NSDI, 2022)

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. - Heidi Howard; Fritz Alder; Edward Ashton; Amaury Chamayou; Sylvan Clebsch; Manuel Costa; Antoine Delignat-Lavaud; Cédric Fournet; Andrew Jeffery; Matthew Kerner; Fotios Kounelis; Markus A. Kuppe; et al. (Proc. VLDB Endow., 2023)

Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols. - Heidi Howard; Markus A. Kuppe; Edward Ashton; Amaury Chamayou; Natacha Crooks (CoRR, 2024)

Smart Casual Verification of the Confidential Consortium Framework. - Heidi Howard; Markus A. Kuppe; Edward Ashton; Amaury Chamayou; Natacha Crooks (NSDI, 2025)