In the SEVILLA project, Cybernetica developed Sharemind, a third-generation programmable cryptographic data analysis system.
The project team applied homomorphic secret sharing, homomorphic encryption, secure multi-party computation, domain-specific languages, translation methods, programming language theory, type systems, and a variety of optimization techniques to increase the security, performance, and applicability of secure computing technology.
The security of the results was formally proven and the utility was validated with prototype applications, which included satellite collision prediction, Bayesian spam analysis and cost optimization.