Cited By
View all- Al-Wahah MAl-Hossenat A(2024)Safety Assurance in IoT-Based Smart HomesEdge Computing Architecture - Architecture and Applications for Smart Cities10.5772/intechopen.1005492Online publication date: 2-Jul-2024
- Alam MZhang SRodriguez ENafis AHoque E(2024)iConPAL: LLM-guided Policy Authoring Assistant for Configuring IoT Defenses2024 IEEE Secure Development Conference (SecDev)10.1109/SecDev61143.2024.00014(76-92)Online publication date: 7-Oct-2024
- Chen LWang CChen CHuang CChen XZhang M(2024)TapChecker: A Lightweight SMT-Based Conflict Analysis for Trigger-Action ProgrammingIEEE Internet of Things Journal10.1109/JIOT.2024.337455611:12(21411-21426)Online publication date: 15-Jun-2024
- Show More Cited By