CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States

Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou. CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States. IACR Cryptology ePrint Archive, 2019:60, 2019. [doi]

@article{RezaeiLSKZ19-0,
  title = {CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States},
  author = {Amin Rezaei and You Li and Yuanqi Shen and Shuyu Kong and Hai Zhou},
  year = {2019},
  url = {https://eprint.iacr.org/2019/060},
  researchr = {https://researchr.org/publication/RezaeiLSKZ19-0},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2019},
  pages = {60},
}