Login / Signup

Automated Analysis of Cryptographic Assumptions in Generic Group Models.

Gilles BartheEdvard FagerholmDario FioreJohn C. MitchellAndre ScedrovBenedikt Schmidt
Published in: CRYPTO (1) (2014)
Keyphrases
  • automated analysis
  • automated detection
  • machine learning
  • image analysis
  • generic model
  • databases
  • probabilistic model
  • independence assumption