TAPPecker: TAP Logic Inference and Violation Detection in Heterogeneous Smart Home Systems

Qixiao Lin, Jian Mao, Ziwen Liu, Zhenkai Liang. TAPPecker: TAP Logic Inference and Violation Detection in Heterogeneous Smart Home Systems. In 28th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2025, Gold Coast, Australia, October 19-22, 2025. pages 248-265, IEEE, 2025. [doi]

@inproceedings{LinMLL25-0,
  title = {TAPPecker: TAP Logic Inference and Violation Detection in Heterogeneous Smart Home Systems},
  author = {Qixiao Lin and Jian Mao and Ziwen Liu and Zhenkai Liang},
  year = {2025},
  doi = {10.1109/RAID67961.2025.00067},
  url = {https://doi.org/10.1109/RAID67961.2025.00067},
  researchr = {https://researchr.org/publication/LinMLL25-0},
  cites = {0},
  citedby = {0},
  pages = {248-265},
  booktitle = {28th International Symposium on Research in Attacks, Intrusions and Defenses, RAID 2025, Gold Coast, Australia, October 19-22, 2025},
  publisher = {IEEE},
  isbn = {979-8-3315-6603-6},
}