Dorottya Papp, Levente Buttyán, Zhendong Ma. Towards Semi-automated Detection of Trigger-based Behavior for Software Security Assurance. In Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29 - September 01, 2017. ACM, 2017. [doi]
Abstract is missing.