Data-Driven Synthesis of Provably Sound Side Channel Analyses - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang. Data-Driven Synthesis of Provably Sound Side Channel Analyses. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 810-822, IEEE, 2021. [doi]

This author has not been identified. Look up 'Jingbo Wang' in GoogleThis author has not been identified. Look up 'Chungha Sung' in GoogleThis author has not been identified. Look up 'Mukund Raghothaman' in GoogleThis author has not been identified. Look up 'Chao Wang' in Google

runs on WebDSL