Login / Signup

Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.

Hai LinChristopher LynchAndrew M. MarshallCatherine A. MeadowsPaliath NarendranVeena RavishankarBrandon Rozek
Published in: FroCoS (2021)
Keyphrases
  • optimization problems
  • evolutionary algorithm
  • np complete
  • feature space
  • machine learning
  • simulated annealing
  • benchmark problems
  • solving problems
  • security analysis