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.
ShieldedCSV/ShieldedCSV
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.