Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
2025 Networked Systems Design and Implementation | April 2025
Heidi Howard
Senior Researcher
Publications
Publications by Year
-
-
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
July 2024
Optimizing Distributed Protocols with Query Rewrites
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joe Hellerstein, Heidi Howard
ACM International Conference on Management of Data (SIGMOD'24) | June 2024
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
April 2024
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
-
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
BeeGees: Stayin’ Alive in Chained BFT
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
Symposium on Principles of Distributed Computing (PODC) | June 2023
-
It’s not easy to relax: liveness in chained BFT protocols
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
International Symposium on Distributed Computing (DISC) | October 2022
Brief Announcement
Publications by Research Area
-
Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
2025 Networked Systems Design and Implementation | April 2025
Optimizing Distributed Protocols with Query Rewrites
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joe Hellerstein, Heidi Howard
ACM International Conference on Management of Data (SIGMOD'24) | June 2024
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
April 2024
-
Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
2025 Networked Systems Design and Implementation | April 2025
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
July 2024
Optimizing Distributed Protocols with Query Rewrites
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joe Hellerstein, Heidi Howard
ACM International Conference on Management of Data (SIGMOD'24) | June 2024
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
BeeGees: Stayin’ Alive in Chained BFT
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
Symposium on Principles of Distributed Computing (PODC) | June 2023
It’s not easy to relax: liveness in chained BFT protocols
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
International Symposium on Distributed Computing (DISC) | October 2022
Brief Announcement
-
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
July 2024
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award
BeeGees: Stayin’ Alive in Chained BFT
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
Symposium on Principles of Distributed Computing (PODC) | June 2023
It’s not easy to relax: liveness in chained BFT protocols
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
International Symposium on Distributed Computing (DISC) | October 2022
Brief Announcement
Publications by Type
-
Smart Casual Verification of the Confidential Consortium Framework
Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks
2025 Networked Systems Design and Implementation | April 2025
Optimizing Distributed Protocols with Query Rewrites
David Chu, Rithvik Panchapakesan, Shadaj Laddad, Lucky Katahanas, Chris Liu, Kaushik Shivakumar, Natacha Crooks, Joe Hellerstein, Heidi Howard
ACM International Conference on Management of Data (SIGMOD'24) | June 2024
Unanimous 2PC: Fault-tolerant Distributed Transactions Can be Fast and Simple
Chris Jensen, Heidi Howard, Antonios Katsarakis, Richard Mortier
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
Bigger, not Badder: Safely Scaling BFT Protocols
David C. Y. Chu, Chris Liu, Natacha Crooks, Joseph M. Hellerstein, Heidi Howard
Principles and Practice of Consistency for Distributed Data (PaPoC'24) | April 2024
BeeGees: Stayin’ Alive in Chained BFT
Neil Giridharan, Florian Suri-Payer, Matthew Ding, Heidi Howard, Ittai Abraham, Natacha Crooks
Symposium on Principles of Distributed Computing (PODC) | June 2023
It’s not easy to relax: liveness in chained BFT protocols
Ittai Abraham, Natacha Crooks, Neil Giridharan, Heidi Howard, Florian Suri-Payer
International Symposium on Distributed Computing (DISC) | October 2022
Brief Announcement
-
LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
July 2024
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
April 2024
-
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Proceedings of the VLDB Endowment | October 2023, Vol 17(2)
Nominee for Best Paper Award