Return to Article Details Towards a Formal Treatment of Logic Locking Download Download PDF