Type-system for mixed protocol secure computation
US8839410B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Nov 20, 2012 |
| Grant date | Sep 16, 2014 |
| Priority date | — |
| Expiry date | Mar 29, 2033 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/437
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Implementations of the present disclosure are directed to for checking that a to-be-compiled program is well-typed such that the program is secure in a semi-honest model, and include actions of receiving the program, the program being provided in a human-readable, domain-specific programming language and including two or more protocols to provide secure computation based on inputs provided by two or more parties, processing the program in view of a type system to determine whether the program is secure in the semi-honest model, the type system including a secure type system extension provided as a set of typing rules that describe security types that can be assigned to one or more entities of the program, and compiling the program to generate a computer-executable program in response to determining that the program is secure in the semi-honest model.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.