Software and hardware co-verification for privacy-enhanced passive UHF RFID tag | IEEE Conference Publication | IEEE Xplore