Mingfei Yu, Giovanni De Micheli: Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help. HOST 2023: 304-314