Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox
Julkaisuvuosi
2022
Tekijät
Dupressoir, Francois; Kohbrok, Konrad; Oechsner, Sabine
Organisaatiot ja tekijät
Aalto-yliopisto
Kohbrok Konrad
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Kustantaja
Sivut
227-242
ISSN
ISBN
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Kyllä
Muut tiedot
Tieteenalat
Matematiikka; Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/CSF54842.2022.9919671
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä