@misc{cryptoeprint:2021:109,
    author = {Amin Rezaei and Hai Zhou},
    title = {Sequential Logic Encryption Against Model Checking Attack},
    howpublished = {Cryptology ePrint Archive, Report 2021/109},
    year = {2021},
    url = {https://eprint.iacr.org/2021/109},
}