USENIX Security ’22 – Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer – ‘ ProFactory: Improving IoT Security Via Formalized Protocol Customization’