Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols | IEEE Conference Publication | IEEE Xplore