Devora Chait-Roth

According to our database, Devora Chait-Roth authored at least 3 papers between 2023 and 2026.

Collaborative distances:

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

2026

Consistent Updates for Scalable Microservices.

Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies

Proc. ACM Program. Lang., 2026

2025

Constructing Trustworthy Smart Contracts.

Devora Chait-Roth, Kedar S. Namjoshi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

2023

Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023