Proving You Are Secure in the Age of IoT