Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
Miguel AmbronaGilles BartheBenedikt SchmidtPublished in: IACR Cryptol. ePrint Arch. (2016)
Keyphrases
- computational model
- high level
- sensitivity analysis
- generic model
- formal model
- quantitative analysis
- machine learning
- similarity measure
- objective function
- empirical data
- probabilistic model
- real time
- process model
- neural network model
- theoretical analysis
- conceptual model
- statistical model
- prior knowledge
- image analysis
- data analysis
- data sets