State separation for code-based game-playing proofs

Chris Brzuska*, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

2 Sitaatiot (Scopus)

Sormenjälki

Sukella tutkimusaiheisiin 'State separation for code-based game-playing proofs'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Mathematics

Engineering & Materials Science