SynCirc: Efficient Synthesis of Depth-Optimized Circuits for Secure Computation | IEEE Conference Publication | IEEE Xplore