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]
@inproceedings{WangSRW21, title = {Data-Driven Synthesis of Provably Sound Side Channel Analyses}, author = {Jingbo Wang and Chungha Sung and Mukund Raghothaman and Chao Wang}, year = {2021}, doi = {10.1109/ICSE43902.2021.00079}, url = {https://doi.org/10.1109/ICSE43902.2021.00079}, researchr = {https://researchr.org/publication/WangSRW21}, cites = {0}, citedby = {0}, pages = {810-822}, booktitle = {43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021}, publisher = {IEEE}, isbn = {978-1-6654-0296-5}, }