Research
Introduction
Sharemind is being developed by Cybernetica together with the University of Tartu and the Software Technologies and Applications Competence Center. The primary goal of the research is to make private computation technologies practical and usable in real applications. Additionally, we are performing basic research into secure computation methods to improve the security guarantees of our technology.
The important papers
The first version of the protocol suite is described in:
Bogdanov, Dan., Laur, Sven., Willemson, Jan. Sharemind: a framework for fast privacy-preserving computations. In Proceedings of 13th European Symposium on Research in Computer Security, ESORICS 2008, LNCS, vol. 5283, pp. 192-206. Springer, Heidelberg (2008) (PDF, extended version)
Until the SecreC papers are published, please refer to Roman's master thesis:
Jagomägis, Roman. SecreC: a Privacy-Aware Programming Language with Applications in Data Mining. Master's thesis. University of Tartu, 2010. (PDF)
The formal semantics of SecreC and the language analysis framework are best described here:
Ristioja, Jaak. An analysis framework for an imperative privacy-preserving programming language. Master's thesis. University of Tartu, 2010. (PDF)
A real-world Sharemind/SecreC application has been documented here:
Talviste, Riivo. Deploying secure multiparty computation for joint data analysis — a case study. Master's thesis. University of Tartu, 2011. (PDF)
Higher-level protocols like database shuffling are described here:
Sven Laur, Bingsheng Zhang, Jan Willemson. Round-efficient Oblivious Database Manipulation. To be published at ISC 2011.
Publications about Sharemind and related projects
2012
Bogdanov, Dan., Talviste, Riivo. Willemson, Jan. Deploying secure multi-party computation for financial data analysis (Short Paper). To appear at FC 12.
2011
Šelajev, Oleg, Laur, Sven. Yao Garbled Circuits in Secret Sharing-based Secure Multi-party Computation. Cybernetica research report T-4-15. 2011. (PDF)
Šelajev, Oleg. The Use of Circuit Evaluation Techniques for Secure Computation. Master's thesis. University of Tartu, 2011. (PDF)
Laur, Sven., Zhang, Bingsheng., Willemson, Jan. Round-efficient Oblivious Database Manipulation. In Proceedings of the 14th International Conference on Information Security, ISC 2011, LNCS, vol. 7001, pp. 262-277. Springer, Heidelberg (2011)
Bogdanov, Dan., Kamm, Liina. Constructing Privacy-Preserving Information Systems Using Secure Multiparty Computation. Cybernetica research report T-4-13. 2011. (PDF)
Talviste, Riivo. Deploying secure multiparty computation for joint data analysis — a case study. Master's thesis. University of Tartu, 2011. (PDF)
Saar, Risto. A new database layer for the Sharemind privacy preserving computer. Bachelor's thesis. University of Tartu, 2011. (PDF, paper in Estonian, resume in English)
Kamm, Liina; Laur, Sven. ProveIt - A Tool For Game-Based Proofs. Poster in the 10th Estonian Summer School on Computer and Systems Science, ESSCaSS 2011. (PDF)
Kamm, Liina; Laur, Sven. ProveIt—A Semi-Automatic Security Analysis Tool (Extended Abstract). First International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers, CrossFyre 2011 (PDF)
2010
Bogdanov, Dan; Laur, Sven. The design of a privacy-preserving distributed virtual machine. In the Collection of AEOLUS theoretical findings. Deliverable D1.0.6. AEOLUS project IP-FP6-015964. 2010. (PDF)
Jagomägis, Roman. SecreC: a Privacy-Aware Programming Language with Applications in Data Mining. Master's thesis. University of Tartu, 2010. (PDF)
Rebane, Reimo. An integrated development environment for the SecreC programming language. Bachelor's thesis. University of Tartu, 2010. (PDF)
Ristioja, Jaak. An analysis framework for an imperative privacy-preserving programming language. Master's thesis. University of Tartu, 2010. (PDF)
Uddin, Abu Hamed Mohammad Misbah. Privacy Preserving Collaborative Anomaly Detection Using Secure Multi-party Computation. Master's thesis. University of Tartu, 2010. (PDF)
Bogdanov, Dan., Niitsoo, Margus., Toft, Tomas., Willemson, Jan. Improved protocols for the Sharemind virtual machine. Cybernetica research report T-4-10. 2010. (PDF)
2009
Bogdanov, Dan; Talviste, Riivo. A Comparison of Software Pseudorandom Number Generators. In Proceedings of Third Baltic Conference on Advanced Topics in Telecommunication, Tartu, Estonia 2009 (61 - 71). Rostock: Universität Rostock, Wissenschaftsverbund Iu. 2009.
Bogdanov, Dan., Jagomägis, Roman., Laur, Sven. Privacy-preserving Histogram Computation and Frequent Itemset Mining with Sharemind. Cybernetica research report T-4-8. 2009. (PDF)
Talviste, Riivo. Web-based data entry in privacy-preserving applications. Bachelor's thesis. University of Tartu, 2010. (PDF)
Talviste, Riivo., Bogdanov, Dan. An improved method for privacy-preserving web-based data collection. Cybernetica research report T-4-5. 2009. (PDF)
Kahrs, Katharina. Share Computing Protocols over Fields and Rings. Master's thesis. University of Tartu, 2009. (PDF)
2008
Bogdanov, Dan., Laur, Sven., Willemson, Jan. Sharemind: a framework for fast privacy-preserving computations. In Proceedings of 13th European Symposium on Research in Computer Security, ESORICS 2008, LNCS, vol. 5283, pp. 192-206. Springer, Heidelberg (2008) (PDF, extended version)
Yao, Yanjun. Automated Security Proofs of Secret Shared Protocols. Master's thesis. University of Tartu (2008). (PDF)
Jagomägis, Roman. A programming language for creating privacy-preserving applications. Bachelor's thesis. University of Tartu (2008). (PDF, paper in Estonian, resume in English)
Bogdanov, Dan. Sassoon, Richard. Privacy-preserving collaborative filtering with Sharemind. Cybernetica research report T-4-2. 2008. (PDF)
2007
Bogdanov, Dan. How to securely perform computations on secret-shared data. Master's thesis. University of Tartu (2007). (PDF)