SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets | IEEE Conference Publication | IEEE Xplore