Formal Analysis of Physically Unclonable Functions | IEEE Conference Publication | IEEE Xplore