Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model (Q5739224)
From MaRDI portal
scientific article; zbMATH DE number 6603693
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model |
scientific article; zbMATH DE number 6603693 |
Statements
Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model (English)
0 references
15 July 2016
0 references
