Projected Control Graph for Accurate and Efficient Analysis of Safety and Security Vulnerabilities.

Ahmed Tamrawi, Suresh C. Kothari

Browse the full APSEC paper archive.