Automated Analysis of PUF-based Protocols | IEEE Conference Publication | IEEE Xplore