Domain-Polymorphic Programming of Privacy-Preserving Applications

No abstract is available for this paper.

• Publication year

  2014

• Venue

  PLAS@ECOOP

• Publication date

  2014-07-28

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2637113.2637119
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Completeness theorems for non-cryptographic fault-tolerant distributed computation

  2019cited by this paper
• Secure floating point arithmetic and private satellite collision analysis

  2015cited by this paper
• Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations

  2014cited by this paper
• Automating Efficient RAM-Model Secure Computation

  2014cited by this paper
• Secure multi-party data analysis: end user validation and practical experiments

  2013cited by this paper
• MrCrypt: static analysis for secure cloud computations

  2013cited by this paper
• Automatic Protocol Selection in Secure Two-Party Computations

  2013cited by this paper
• Specifying sharemind's arithmetic black box

  2013cited by this paper
• Oblivious Sorting of Secret-Shared Data

  2013cited by this paper
• Secure two-party computations in ANSI C

  2012cited by this paper
• High-performance secure multi-party computation for data mining applications

  2012cited by this paper
• Information-Flow Control for Programming on Encrypted Data

  2012cited by this paper
• Multiparty Computation from Somewhat Homomorphic Encryption

  2012cited by this paper
• The Design and Implementation of a Two-Party Protocol Suite for SHAREMIND 3

  2012cited by this paper
• Round-Efficient Oblivious Database Manipulation

  2011cited by this paper
• Under Consideration for Publication in J. Functional Programming Outsidein(x) Modular Type Inference with Local Assumptions

  2011cited by this paper
• L1 - An Intermediate Language for Mixed-Protocol Secure Computation

  2011cited by this paper
• Cryptographic Protocols:: Theory and Implementation

  2010cited by this paper
• An analysis framework for an imperative privacy-preserving programming language

  2010cited by this paper
• SecreC: a Privacy-Aware Programming Language with Applications in Data Mining

  2010cited by this paper
• SecreC : a Privacy-Aware Programming Language with Applications in Data Mining Master ’ s Thesis ( 30 EAP ) Supervisor :

  2010influential reference
• TASTY: tool for automating secure two-party computations

  2010cited by this paper
• Fully homomorphic encryption using ideal lattices

  2009cited by this paper
• Sharemind: A Framework for Fast Privacy-Preserving Computations

  2008cited by this paper
• A domain-specific programming language for secure multiparty computation

  2007cited by this paper
• Gradual Release: Unifying Declassification, Encryption and Key Release Policies

  2007cited by this paper
• Evaluating Branching Programs on Encrypted Data

  2007cited by this paper
• Gradual Release : Unifying Declassi cation , Encryption and Key Release Policies

  2007cited by this paper
• Encoding information flow in Haskell

  2006cited by this paper
• How To Exchange Secrets with Oblivious Transfer

  2005cited by this paper
• Fairplay - Secure Two-Party Computation System

  2004cited by this paper
• Universally Composable Efficient Multiparty Computation from Threshold Homomorphic Encryption

  2003cited by this paper
• A Length-Flexible Threshold Cryptosystem with Applications

  2003cited by this paper
• Information flow inference for ML

  2002cited by this paper
• Universally composable security: a new paradigm for cryptographic protocols

  2001influential reference
• JFlow: practical mostly-static information flow control

  1999influential reference
• Public-Key Cryptosystems Based on Composite Degree Residuosity Classes

  1999cited by this paper
• Simplified VSS and fast-track multiparty computations with applications to threshold cryptography

  1998cited by this paper
• Complete, safe information flow with decentralized labels

  1998cited by this paper
• Qualified Types: Theory and Practice

  1994cited by this paper
• Completeness theorems for non-cryptographic fault-tolerant distributed computation

  1988cited by this paper
• How to play ANY mental game

  1987cited by this paper
• Protocols for Secure Computations (Extended Abstract)

  1982influential reference
• Protocols for secure computations

  1982cited by this paper
• How to share a secret

  1979cited by this paper

• SMT-Boosted Security Types for Low-Level MPC

  2025cites this paper
• Language-Based Security for Low-Level MPC

  2024cites this paper
• Towards practical privacy-preserving protocols

  2022cites this paper
• Privacy-Preserving Parallel Computation of Minimum Spanning Forest

  2022cites this paper
• ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs

  2022cites this paper
• Privacy-preserving Parallel Computation of Shortest Path Algorithms with Low Round Complexity

  2022cites this paper
• Parallel Privacy-Preserving Shortest Path Algorithms

  2021cites this paper
• C LOAK : Enabling Confidential Smart Contract With Multi-Party Transactions

  2021cites this paper
• CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts

  2021cites this paper
• Parallel Privacy-Preserving Shortest Paths by Radius-Stepping

  2021cites this paper
• Parallel Privacy-preserving Computation of Minimum Spanning Trees

  2021cites this paper
• Short Paper: Secure Multiparty Logic Programming

  2020cites this paper
• PrivaLog: a Privacy-aware Logic Programming Language

  2020cites this paper
• Shareprom: A Tool for Privacy-Preserving Inter-Organizational Process Mining

  2020influential citation
• Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings

  2020cites this paper
• PrivPy: General and Scalable Privacy-Preserving Data Mining

  2019cites this paper
• Secure Multi-party Computation for Inter-organizational Process Mining

  2019cites this paper
• zkay: Specifying and Enforcing Data Privacy in Smart Contracts

  2019cites this paper
• Secure Multiparty Computation and Trusted Hardware: Examining Adoption Challenges and Opportunities

  2019cites this paper
• Implementation and Evaluation of an Algorithm for Cryptographically Private Principal Component Analysis on Genomic Data

  2018cites this paper
• PrivPy: Enabling Scalable and General Privacy-Preserving Machine Learning

  2018cites this paper
• From Keys to Databases - Real-World Applications of Secure Multi-Party Computation

  2018cites this paper
• Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks

  2018cites this paper
• Bit Decomposition Protocols in Secure Multiparty Computation

  2018cites this paper
• Computation Engines ( Privpy engine , SPDZ , ... ) Parser Optimizer Convenient APIs Language Front-end Back-end PrivPy

  2018cites this paper
• Explorer MCMix : Anonymous Messaging via Secure Multiparty Computation

  2017cites this paper
• Preprocessing Based Verification of Multiparty Protocols with Honest Majority

  2017cites this paper
• MCMix: Anonymous Messaging via Secure Multiparty Computation

  2017cites this paper
• Optimizing MPC for Robust and Scalable Integer and Floating-Point Arithmetic

  2016cites this paper
• Optimizing Secure Computation Programs with Private Conditionals

  2016cites this paper
• Maturity and Performance of Programmable Secure Computation

  2016cites this paper
• Subdomain and Access Pattern Privacy - Trading off Confidentiality and Performance

  2016cites this paper
• Rmind: A Tool for Cryptographically Secure Statistical Analysis

  2016cites this paper
• Students and Taxes: a Privacy-Preserving Study Using Secure Computation

  2016cites this paper
• A Domain-Specific Language for Low-Level Secure Multiparty Computation Protocols

  2015cites this paper
• LIINA KAMM Privacy-preserving statistical analysis using secure multi-party computation

  2015cites this paper
• Automatic Proofs of Privacy of Secure Multi-party Computation Protocols against Active Adversaries

  2015cites this paper
• ABY - A Framework for Efficient Mixed-Protocol Secure Two-Party Computation

  2015cites this paper
• Students and Taxes: a Privacy-Preserving Social Study Using Secure Computation

  2015cites this paper
• Combining Secret Sharing and Garbled Circuits for Efficient Private IEEE 754 Floating-Point Computations

  2015cites this paper
• Privacy-preserving String-Matching With PRAM Algorithms Report in MTAT

  2014cites this paper
• A Practical Analysis of Oblivious Sorting Algorithms for Secure Multi-party Computation

  2014cites this paper
• Secure Multi-party Computation Protocols from a High-Level Programming Language

  2014cites this paper
• From Input Private to Universally Composable Secure Multi-party Computation Primitives

  2014cites this paper
• The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)

  2014cites this paper
• Privacy-Preserving Statistical Data Analysis on Federated Databases

  2014cites this paper
• A Secure Multi-Party Computation Protocol Suite Inspired by Shamir's Secret Sharing Scheme

  2014cites this paper
• Actively Secure Two-Party Computation: Ecient

  2013cites this paper
• Enterprise, Business-Process and Information Systems Modeling

  2013cites this paper
• Actively Secure Two-Party Computation: Efficient Beaver Triple Generation

  2013cites this paper
• Specifying sharemind's arithmetic black box

  2013cites this paper
• Domain-polymorphic language for privacy-preserving applications

  2013cites this paper
• Oblivious Sorting of Secret-Shared Data

  2013cites this paper