Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
May 2025
Heidi Howard
Senior Researcher
Papiers de Collaboration
-
-
-
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
-
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
-
-
-
Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
May 2025
-
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
-
-
-
Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
May 2025
-
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
-
-
-
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
-
-
-
Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs
David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli
May 2025
-
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
-
-
-
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
-
-
-
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
-