Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model.
Miguel AmbronaGilles BartheBenedikt SchmidtPublished in: EUROCRYPT (2) (2016)
Keyphrases
- computational model
- generic model
- high level
- quantitative analysis
- theoretical analysis
- probabilistic model
- management system
- experimental data
- parameter estimation
- network model
- prediction model
- formal model
- statistical model
- theoretical framework
- statistical analysis
- maximum likelihood
- prior knowledge
- image analysis
- expert systems
- learning environment