SeqL: SAT-attack Resilient Sequential Locking

Seetal Potluri, Akash Kumar 0001, Aydin Aysu. SeqL: SAT-attack Resilient Sequential Locking. IACR Cryptology ePrint Archive, 2019:656, 2019. [doi]

@article{PotluriKA19,
  title = {SeqL: SAT-attack Resilient Sequential Locking},
  author = {Seetal Potluri and Akash Kumar 0001 and Aydin Aysu},
  year = {2019},
  url = {https://eprint.iacr.org/2019/656},
  researchr = {https://researchr.org/publication/PotluriKA19},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2019},
  pages = {656},
}