Transpiling Policies to Secure Computation Circuits, Jan Lauinger (TUM)

Talk by Jan Jan Lauinger (Technical University of Munich)
Abstract:
Modern privacy-enhancing technologies reach new forms of computation or data compliance, compression, and privacy according to a statement (e.g., private value of more than 100). However, beyond the statement expression, the description of secure computation circuits requires knowledge of security algorithms protecting private values.
To keep the description of secure and compliant computation circuits as close to the statement expression as possible, this talk introduces techniques to develop composable policy languages which can be transpiled into secure computation circuits. Additionally, this talk shows how a policy transpiler architecture can be used to decouple the structure of the domain-specific policy language into secure computation gadgets which evaluate the statements expressed by the policy language. The transpilation design reduces the description of secure computation circuits to few lines of code written in the policy language. Thus, the talk shows how the automated generation and composition of private computation circuits can be simplified to a minimum effort of configuring a policy language.