Discovering Vulnerabilities And Designing Trustworthy Defenses In Iot Systems And Devices