State Separation for Code-Based Game-Playing Proofs.

Chris Brzuska, Antoine Delignat-Lavaud, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss

Browse the full ASIACRYPT paper archive.