Miguel Ambrona, Gilles Barthe, Benedikt Schmidt. Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model. In Marc Fischlin, Jean-Sébastien Coron, editors, Advances in Cryptology - EUROCRYPT 2016 - 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Vienna, Austria, May 8-12, 2016, Proceedings, Part II. Volume 9666 of Lecture Notes in Computer Science, pages 822-851, Springer, 2016. [doi]
Abstract is missing.