Towards Provably-Secure Analog and Mixed-Signal Locking Against Overproduction | IEEE Journals & Magazine | IEEE Xplore