Edward Ashton

According to our database, Edward Ashton authored at least 7 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition.

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

Proceedings of the NASA Formal Methods, 2026

2025

Smart Casual Verification of the Confidential Consortium Framework.

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

Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, 2025

2024

Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols.

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

CoRR, 2024

Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing.

William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis

CoRR, 2024

2023

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, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger

Proc. VLDB Endow., 2023

2022

IA-CCF: Individual Accountability for Permissioned Ledgers.

Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

PAC: Practical Accountability for CCF.

Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich

CoRR, 2021