2015年11月24日至11月26日,实验室博士生梁蓓赴日本金泽参加了第九届可证明安全国际会议(The 9th International Conference on Provable Security)。本次会议由日本信息技术促进局(Information-technology Promotion Agency (IPA))和日本高等科技研究院(Japan Advanced Institute of Science and Technology)主办,会议主要涉及现代密码学中的可证明安全的密码学方案和协议的研究,吸引了来自世界各地的研究人员与会参与讨论和交流经验。
博士生梁蓓做了题为“Constrained Verifiable Random Functions from Indistinguishability Obfuscation”的报告。在报告中,梁蓓利用单向函数和不可区分的混淆算法构造了受限的可验证随机函数,该方法为构造可验证的随机函数提供了新思路。梁蓓的这篇论文获得了ProvSec2015 最佳学生论文奖。
会议期间,博士生梁蓓还与来自香港、日本、印度等国家的学者和专家进行了深入的技术交流。