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