Login / Signup

Cycle Structure and Reachability Analysis for Cipher Spritz with Small N.

Jörg Keller
Published in: CECC (2017)
Keyphrases
  • reachability analysis
  • small number
  • markov decision processes
  • model checking
  • real time
  • low cost
  • random walk