@misc{cryptoeprint:2018:306,
    author = {Chris Brzuska and Antoine Delignat-Lavaud and Konrad Kohbrok and Markulf Kohlweiss},
    title = {State-Separating Proofs: A Reduction Methodology for Real-World Protocols},
    howpublished = {Cryptology ePrint Archive, Report 2018/306},
    year = {2018},
    url = {https://eprint.iacr.org/2018/306},
}