verifiable hierarchical protocols with network invariants on parametric systems published presentations and documents on DocSlides.