Automated Analysis of PUF-based Protocols