Title: Behavioral Synthesis for Hardware Security