Behavioral Synthesis for Hardware Security - Katkoori, Srinivas; Islam, Sheikh Ariful (Springer International Publishing, 2022)