SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ju Chen, Wookhyun Han, Mingjun Yin, Haochen Zeng, Chengyu Song, Byoungyoung Lee, Heng Yin, Insik Shin. SYMSAN: Time and Space Efficient Concolic Execution via Dynamic Data-flow Analysis. In Kevin R. B. Butler, Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022. pages 2531-2548, USENIX Association, 2022. [doi]

This author has not been identified. Look up 'Ju Chen' in GoogleThis author has not been identified. Look up 'Wookhyun Han' in GoogleThis author has not been identified. Look up 'Mingjun Yin' in GoogleThis author has not been identified. Look up 'Haochen Zeng' in GoogleThis author has not been identified. Look up 'Chengyu Song' in GoogleThis author has not been identified. Look up 'Byoungyoung Lee' in GoogleThis author has not been identified. Look up 'Heng Yin' in GoogleThis author has not been identified. Look up 'Insik Shin' in Google

runs on WebDSL