State separation for code-based game-playing proofs

From MaRDI portal
Publication:1710673

DOI10.1007/978-3-030-03332-3_9zbMath1447.94022OpenAlexW2898492666MaRDI QIDQ1710673

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

Publication date: 23 January 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-03332-3_9




Related Items (3)



Cites Work


This page was built for publication: State separation for code-based game-playing proofs