On Continuously Verifying Device-level Functional Integrity by Monitoring Correlated Smart Home Devices. - Shiva Sunar; Paria Shirani; Suryadipta Majumdar; J. David Brown (WISEC, 2024)