PrivaLog: a privacy-aware logic programming language
Joosep J\"a\"ager, Alisa Pankova

TL;DR
PrivaLog introduces a novel logic programming language that integrates secure multiparty computation to enable privacy-preserving applications, making logic programming more secure for sensitive data processing.
Contribution
This paper presents PrivaLog, the first logic programming language designed with built-in privacy features using MPC, bridging LP and cryptography.
Findings
Demonstrates how PrivaLog enables privacy-preserving logic programs
Shows integration of MPC with LP for secure computation
Provides a prototype implementation of PrivaLog
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
