Author:
Balliu Musard,Merro Massimo,Pasqua Michele
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems;Theoretical Computer Science;2024-06
2. SmartTracer: Anomaly-Driven Provenance Analysis Based on Device Correlation in Smart Home Systems;IEEE Internet of Things Journal;2023
3. Discovering IoT Physical Channel Vulnerabilities;Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security;2022-11-07
4. Dynamic System Diversification for Securing Cloud-based IoT Subnetworks;ACM Transactions on Autonomous and Adaptive Systems;2022-06-30
5. Privacy Leakage Analysis for Colluding Smart Apps;2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2022-06