An analysis framework for an imperative privacy-preserving programming language

Bogdanov, Dan, juhendajaRistioja, JaakTartu Ülikool. Loodus- ja täppisteaduste valdkondTartu Ülikool. Arvutiteaduse instituut2021-06-112021-06-112010ARH Diss. B-19695http://hdl.handle.net/10062/72338engrestrictedAccessmagistritöödinformaatikainfotehnoloogiainformaticsinfotechnologyprogrammeerimiskeeledSharemind (tarkvara)turvalised ühisarvutusedandmevoodSecreC (programmeerimiskeel)An analysis framework for an imperative privacy-preserving programming languageThesis