Towards Provably-Secure Analog and Mixed-Signal Locking Against Overproduction | IEEE Conference Publication | IEEE Xplore