Update el-gamal_protocol.tex