Yan Guang, Yue-fei Zhu, Chun-Xiang Gu, Jin-long Fei, Xin-Zheng He. A Framework for Automated Security Proof and its Application to OAEP. JNW, 8(3):552-558, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.