[JS08] On the Equivalence of Generic Group Models

Authors: Jager, Tibor; Schwenk, Jörg | Venue: ProvSec 2008 (LNCS 5324) | Source

Abstract

This paper considers the relationship between Shoup’s and Maurer’s formulations of the generic group model. The authors argue that for standard cyclic groups, the two models are equivalent in the sense that any security statement provable in one can be translated to the other. However, this equivalence claim was later challenged by Maurer, Portmann, and Zhu, who showed that the two models differ in general and are not always equivalent.