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]
@inproceedings{LaudPPR13,
title = {Specifying sharemind's arithmetic black box},
author = {Peeter Laud and Alisa Pankova and Martin Pettai and Jaak Randmets},
year = {2013},
doi = {10.1145/2517872.2517874},
url = {http://doi.acm.org/10.1145/2517872.2517874},
researchr = {https://researchr.org/publication/LaudPPR13},
cites = {0},
citedby = {0},
pages = {19-22},
booktitle = {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},
editor = {Martin Franz and Andreas Holzer and Rupak Majumdar and Bryan Parno and Helmut Veith},
publisher = {ACM},
isbn = {978-1-4503-2489-2},
}