Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, David Walker. Kirigami, the Verifiable Art of Network Cutting. In 30th IEEE International Conference on Network Protocols, ICNP 2022, Lexington, KY, USA, October 30 - Nov. 2, 2022. pages 1-12, IEEE, 2022. [doi]
Abstract is missing.