A case study in hardware Trojan design and implementation
Watermarking-based copyright protection of sequential functions