Register transfer level hardware design information flow modeling and security verification methodMaoyuan QIN, Jiaying HOU, Jiale LI, Shibo TANG and Yu TAIJNWPU, 42 3 (2024) 506-513DOI: https://doi.org/10.1051/jnwpu/20244230506