Specifying sharemind's arithmetic black box

Peeter Laud, Alisa Pankova, Martin Pettai, Jaak Randmets. Specifying sharemind's arithmetic black box. In Martin Franz, Andreas Holzer, Rupak Majumdar, Bryan Parno, Helmut Veith, editors, PETShop'13, Proceedings of the 2013 ACM Workshop on Language Support for Privacy-Enhancing Technologies, Co-located with CCS 2013, November 4, 2013, Berlin, Germany. pages 19-22, ACM, 2013. [doi]

Abstract

Abstract is missing.