2 | Guangyu HUhttps://guangyuhu.me/publication-type/2/2Wowchemy (https://wowchemy.com)en-us© 2026 Guangyu HuSat, 01 Jul 2023 00:00:00 +0000https://guangyuhu.me/media/icon_hu6538e1dfe75408a7f53e3e32c6b9c68d_2141_512x512_fill_lanczos_center_2.png2https://guangyuhu.me/publication-type/2/r-map: Relating Implementation and Specification in Hardware Refinement Checkinghttps://guangyuhu.me/publication/tcad23-r-map/Sat, 01 Jul 2023 00:00:00 +0000https://guangyuhu.me/publication/tcad23-r-map/CRAlert: Hardware-Assisted Code Reuse Attack Detectionhttps://guangyuhu.me/publication/tcasii21-cralert/Fri, 01 Oct 2021 00:00:00 +0000https://guangyuhu.me/publication/tcasii21-cralert/