Preprocessing Based Verification of Multiparty Protocols with Honest Majority

Laud, Peeter; Pankova, Alisa; Jagomägis, Roman (2017). Preprocessing Based Verification of Multiparty Protocols with Honest Majority. Proceedings on Privacy Enhancing Technologies, 2017, 4, 23−76.
ajakirjaartikkel
Laud, Peeter; Pankova, Alisa; Jagomägis, Roman
  • Inglise
Proceedings on Privacy Enhancing Technologies
2299-0984
2017
4
2017
2376
Ilmunud
1.2. Teadusartiklid teistes rahvusvahelistes teadusajakirjades, millel on registreeritud kood, rahvusvaheline toimetus, rahvusvahelise kolleegiumiga eelretsenseerimine, rahvusvaheline levik ning kättesaadavus ja avatus kaastöödele

Viited terviktekstile

Seotud asutused