ACM

Communications of the ACM

Latest Research

From Communications of the ACM

Ironfleet: Proving Safety and Liveness of Practical Distributed Systems

We demonstrate the methodology on a complex implementation of a Paxos-based replicated state machine library and a lease-based sharded key-value store. With our... Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath Setty, Brian Zill
From Communications of the ACM | July 2017

From Communications of the ACM

Pinocchio: Nearly Practical Verifiable Computation

We introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions. Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
From Communications of the ACM | February 2016