SOTERIA: Automated IoT safety and security analysis
- Z. Berkay Celik
- , Patrick McDaniel
- , Gang Tan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
215
Link opens in a new tab
Scopus
citations