TY - RPRT TI - On the post-quantum security of encrypted key exchange protocols AU - Li Yang AU - Rui-Rui Zhou PY - 2013 UR - https://arxiv.org/abs/1305.5640 ID - 1305.5640 ER -