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]
@article{GuangZGFH13,
title = {A Framework for Automated Security Proof and its Application to OAEP},
author = {Yan Guang and Yue-fei Zhu and Chun-Xiang Gu and Jin-long Fei and Xin-Zheng He},
year = {2013},
doi = {10.4304/jnw.8.3.552-558},
url = {http://dx.doi.org/10.4304/jnw.8.3.552-558},
researchr = {https://researchr.org/publication/GuangZGFH13},
cites = {0},
citedby = {0},
journal = {JNW},
volume = {8},
number = {3},
pages = {552-558},
}