Efficient comparision using homomorphic encryption

Working on generating efficient usable circuits for comparison that can be used in homomorphic sorting and searching

Non-Interactive Proof Generation from Interactive Zero Knowledge Protocols

Efficient implementations of interactive and non-interactive versions of Ligero-like protocols.

Homomorphic Encryption Schemes

Worked on integrating the HElib-MP Library to the HEAT API by analysing differences between HElib and HElib-MP.