Heidi Howard

Chercheur senior

Papiers de Collaboration

Afficher par:

- 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
  
  Preprint
- 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
  
  Publication Preprint PDF Author's Version Projet
- LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
  
  Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
  
  July 2024
  
  Publication Projet
- 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
  
  Publication Author's Version Preprint DOI
- 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
  
  Publication DOI
- Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
  
  William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
  
  April 2024
  
  Publication
- 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
  
  Publication DOI
- 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
  
  Publication Preprint Author's Version Projet
- 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
  
  Publication Preprint
- 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
  
  Publication DOI

- 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
  
  Preprint
- LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
  
  Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
  
  July 2024
  
  Publication Projet
- 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
  
  Publication DOI
- 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
  
  Publication Preprint Author's Version Projet
- 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
  
  Publication Preprint
- 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
  
  Publication DOI
- 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
  
  Preprint
- 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
  
  Publication Preprint PDF Author's Version Projet
- LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
  
  Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
  
  July 2024
  
  Publication Projet
- 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
  
  Publication Author's Version Preprint DOI
- 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
  
  Publication DOI
- 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
  
  Publication DOI
- 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
  
  Publication Preprint Author's Version Projet
- 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
  
  Publication Preprint
- 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
  
  Publication DOI
- 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
  
  Publication Preprint PDF Author's Version Projet
- 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
  
  Publication Author's Version Preprint DOI
- Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
  
  William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
  
  April 2024
  
  Publication

- 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
  
  Preprint
- LSKV: A Confidential Distributed Datastore to Protect Critical Data in the Cloud
  
  Andrew Jeffery, Julien Maffre, Heidi Howard, Richard Mortier
  
  July 2024
  
  Publication Projet
- Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing
  
  William Schultz, Eddy Ashton, Heidi Howard, Stavros Tripakis
  
  April 2024
  
  Publication
- 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
  
  Publication Preprint PDF Author's Version Projet
- 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
  
  Publication Author's Version Preprint DOI
- 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
  
  Publication DOI
- 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
  
  Publication DOI
- 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
  
  Publication Preprint
- 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
  
  Publication DOI
- 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
  
  Publication Preprint Author's Version Projet