Clark W. Barrett, Cesare Tinelli, Morgan Deters, Tianyi Liang, Andrew Reynolds, Nestan Tsiskaridze. Efficient solving of string constraints for security analysis. In William L. Scherlis, David Brumley, editors, Proceedings of the Symposium and Bootcamp on the Science of Security, Pittsburgh, PA, USA, April 19-21, 2016. pages 4-6, ACM, 2016. [doi]
Abstract is missing.