K-Hunt: Pinpointing Insecure Cryptographic Keys from Execution Traces

This is the repository for our CCS'18 paper K-Hunt: Pinpointing Insecure Cryptographic Keys from Execution Traces. The repository includes analysis tools (source code and win32 dll of pintools, and python scripts), test suite (crypto programs and libraries), challenge-ccs18 (a crypto challenge for CCS 2018) and tex (tex source code, pdf, and slides) of our paper.

Contributors

The following have contributed code to K-Hunt:

• Juanru Li @ G.O.S.S.I.P
• Zhiqiang Lin @ OSU
• Long Mai @ G.O.S.S.I.P
• Jianqiang Wang @ G.O.S.S.I.P
• Yiwei Zhang @ XDU

K-Hunt is a crypto code analyzer developed mainly by members of Group of Software Security in Progress (G.O.S.S.I.P), Shanghai Jiao Tong University. Professor Zhiqiang Lin also gave many insightful ideas to help improve K-Hunt.

For any inquiries, please contact Juanru at romangol at securitygossip dot com.