Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.

Miguel Ambrona, Gilles Barthe, Benedikt Schmidt

Browse the full EuroCrypt paper archive.