Sign in

Automated Analysis of Cryptographic Assumptions in Generic Group Models.

Gilles BartheEdvard FagerholmDario FioreJohn C. MitchellAndre ScedrovBenedikt Schmidt
Published in: J. Cryptol. (2019)
Keyphrases
  • automated analysis
  • automated detection
  • knowledge discovery
  • image segmentation
  • simplifying assumptions
  • smart card
  • biomedical imaging