Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev. Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. In 2017 IEEE Security and Privacy Workshops, SP Workshops 2017, San Jose, CA, USA, May 25, 2017. pages 211-216, IEEE Computer Society, 2017. [doi]
Abstract is missing.