Zero-knowledge middleboxes (ZKMBs) are a recent paradigm in which clients get privacy
and middleboxes enforce policy: clients prove in zero knowledge that the plaintext …

This paper initiates research on zero-knowledge middleboxes (ZKMBs). A ZKMB is a
network middlebox that enforces network usage policies on encrypted traffic. Clients send …

Enabling hybrid authorisations to enforce dynamic access control policy from single-domain
to cross-domain environments (CDEs) is important for distributed services. However …

We propose a new doubly efficient interactive proof protocol for general arithmetic circuits.
The protocol generalizes the interactive proof for layered circuits proposed by Goldwasser …

We present Hyperproofs, the first vector commitment (VC) scheme that is efficiently
maintainable and aggregatable. Similar to Merkle proofs, our proofs form a tree that can be …

We show a constant-overhead interactive zero-knowledge (ZK) proof system for RAM
programs, that is, a ZK proof in which the communication complexity as well as the running …

Multi-access Edge Computing (MEC) has emerged as a new distributed computing
paradigm for its ability to offer low-latency services to users. Suffering from constrained …

Self-sovereign identity is a digital identity paradigm that allows users and organizations to
manage digital identity in a decentralized fashion without any central authority controlling …

The Internet of Things (IoT) is ubiquitous in our lives. However, the inherent vulnerability of
IoT smart devices can lead to the destruction of networks in untrustworthy environments …

This report documents the program and the outcomes of Dagstuhl Seminar 19391``Data
Ecosystems: Sovereign Data Exchange among Organizations''. The goal of the seminar was …