This paper introduces
the concept of privacy-aware proof-carrying authorization
- Automated Synthesis of
Privacy-Preserving Distributed Applications
paper describes in detail our high-level specification
language and its underlying logical language, the
zero-knowledge deduction system, the cryptographic setup, and
the compiler that translates logical derivations into
executable code. The resulting executable code is suitable for
open-ended systems and we prove that it faithfully implements
the corresponding high-level specification.
We are currently finishing the implementation of these
concepts on top of a distributed P2P network. The source code will
be published soon.