SVSHI: Secure and Verified Smart Home Infrastructure. - Andrea Veneziano; Samuel Chassot (CoRR, 2022)