Kai Cong
Orcid: 0000-0003-3983-1963
According to our database1,
Kai Cong
authored at least 19 papers
between 2013 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
2020
Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020
2019
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
2018
Proceedings of the 19th International Symposium on Quality Electronic Design, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
2017
Did we learn from LLC Side Channel Attacks? A Cache Leakage Detection Tool for Crypto Libraries.
CoRR, 2017
2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
2014
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Automatic concolic test generation with virtual prototypes for post-silicon validation.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013