PrivaLog: a privacy-aware logic programming language
Preprint
Abstract
Logic Programming (LP) is a subcategory of declarative programming that is considered to be relatively simple for non-programmers. LP developers focus on describing facts and rules of a logical derivation, and do not need to think about the algorithms actually implementing the derivation. Secure multiparty computation (MPC) is a cryptographic technology that allows to perform computation on private data without actually seeing the data. In this paper, we bring together the notions of MPC and LP, allowing users to write privacy-preserving applications in logic programming language.Keywords
All Related Versions
This publication has 3 references indexed in Scilit:
- From Keys to Databases—Real-World Applications of Secure Multi-Party ComputationThe Computer Journal, 2018
- High-performance secure multi-party computation for data mining applicationsInternational Journal of Information Security, 2012
- Unfold/fold transformation of stratified programsTheoretical Computer Science, 1991