.jpg)
GGA: Generic Group Analyzer
Generic Group Analyzer Unbounded is a tool to automatically prove computational security statements in the Generic Group Model. It is especially designed to deal with security experiments where the attacker is allowed to interact with an Oracle an unbounded number of times and this interaction may be adaptive, i.e., new queries can depend on earlier Oracle responses.
The tool focuses on pairing-based cryptographic constructions, in particular, on schemes defined over bilinear groups. Therefore, the tool can be used to analyze the generic security of: - Structure-Preserving Signatures (signature schemes defined over bilinear groups where the messages and signatures consist of group elements and the verification of signatures consists of evaluation pairing product equations). - Algebraic Message-Authentication Codes. - Assumptions. and more cryptographic construction defined over bilinear groups whose security is defined as a computational experiment.
Open source software registration at US Copyright Office