Behavioral Synthesis for Hardware Security