Xiong Fan: Attribute-based Encryptions and Formal Verification of Lattice-based Cryptography. Cornell University, USA 2019