@misc{cryptoeprint:2021:309,
    author = {Xingyu Meng and Kshitij Raj and Atul Prasad Deb Nath and Kanad Basu and Sandip Ray},
    title = {SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets},
    howpublished = {Cryptology ePrint Archive, Report 2021/309},
    year = {2021},
    url = {https://eprint.iacr.org/2021/309},
}