VeriSplit: Secure and Practical Offloading of Machine Learning Inferences across IoT Devices. - Han Zhang 037; Zifan Wang 001; Mihir Dhamankar; Matt Fredrikson; Yuvraj Agarwal (CoRR, 2024)