Secure Circuits and Embedded Systems Research GEZEL Modeling and Simulation Patrick Schaumont Virginia Tech Dept. of Electrical and Computer Engineering September 2010 â¹#⺅