Solver-Aided Multi-Party Configuration. - Kevin Dackow; Andrew Wagner; Tim Nelson; Shriram Krishnamurthi; Theophilus A. Benson (HotNets, 2020)