Lyubashevskyand Neven. One-shot Verifiable Encryption from Lattices. Springer International Publishing, 2017, doi:10.1007/978-3-319-56620-7_11.