Foundations for Forgery-Resilient Cryptographic Hardware