Automatic Detection and Repair of Transition- Based Leakage in Software Binaries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Konstantinos Athanasiou, Thomas Wahl, A. Adam Ding, Yunsi Fei. Automatic Detection and Repair of Transition- Based Leakage in Software Binaries. In Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel, editors, Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Volume 12549 of Lecture Notes in Computer Science, pages 50-67, Springer, 2020. [doi]

This author has not been identified. Look up 'Konstantinos Athanasiou' in GoogleThis author has not been identified. Look up 'Thomas Wahl' in GoogleThis author has not been identified. Look up 'A. Adam Ding' in GoogleThis author has not been identified. Look up 'Yunsi Fei' in Google

runs on WebDSL