Performance and verifiability of IOT security protocols