Automated Synthesis of Privacy-Preserving Distributed Applications

  • Privacy-Aware Proof-Carrying Authorization
    This paper introduces the concept of privacy-aware proof-carrying authorization (PAPCA).
  • Automated Synthesis of Privacy-Preserving Distributed Applications
    This 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.
    (long version)


  • We are currently finishing the implementation of these concepts on top of a distributed P2P network. The source code will be published soon.