Foundations of Hardware IP Protection