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