Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson. Solver-Aided Multi-Party Configuration. In Ben Zhao, Heather Zheng, Harsha V. Madhyastha, Venkat N. Padmanabhan, editors, HotNets '20: The 19th ACM Workshop on Hot Topics in Networks, Virtual Event, USA, November 4-6, 2020. pages 103-109, ACM, 2020. [doi]
Abstract is missing.