So I plan on designing and constructing a program that takes as input a behavioral description of a chip, and outputs a gate-level netlist that reveals nothing on the intended function of the chip, yet functions correctly when a certain register in the netlist is programmed with a given secret. The length of this secret determines the level of security we get as a result of applying the program on the chip description.
Ramblings and Musings 