Short Paper: Secure Multiparty Logic Programming
Autor: | Alisa Pankova, Joosep Jääger |
---|---|
Rok vydání: | 2020 |
Předmět: |
021110 strategic
defence & security studies Focus (computing) Computer science Programming language Simple (abstract algebra) Process (engineering) Short paper 0211 other engineering and technologies Secure multi-party computation 02 engineering and technology computer.software_genre computer Logic programming |
Zdroj: | Proceedings of the 15th Workshop on Programming Languages and Analysis for Security. |
DOI: | 10.1145/3411506.3417597 |
Popis: | Logic Programming (LP) is considered to be relatively simple for non-programmers, and allows the developer to focus on developing facts and rules of a logical derivation, and not on algorithms. Secure multiparty computation (MPC) is a methodology that allows several parties to process private data collaboratively without revealing the data to any party. In this paper, we bring together the notions of MPC and LP, allowing users to write privacy-preserving applications in logic programming language. |
Databáze: | OpenAIRE |
Externí odkaz: |