This repository accompanies the Shielded CSV paper.

The code defines the PCD compliance predicate and implements the protocol-specific components of a Shielded CSV node.