Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox
Publiceringsår
2022
Upphovspersoner
Dupressoir, Francois; Kohbrok, Konrad; Oechsner, Sabine
Organisationer och upphovspersoner
Aalto-universitetet
Kohbrok Konrad
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Proceedings - 2022 IEEE 35th Computer Security Foundations Symposium, CSF 2022
Förläggare
Sidor
227-242
ISSN
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Ja
Övriga uppgifter
Vetenskapsområden
Matematik; Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object]
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1109/CSF54842.2022.9919671
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja