Cryptography for privacy-preserving and verifiable computing

This PhD project investigates cryptographic techniques for privacy-preserving and verifiable computing, leveraging fully homomorphic encryption (FHE) to enable secure computation on encrypted data and zero-knowledge proofs (ZKPs) to ensure integrity without revealing sensitive inputs. The research explores optimizations for practical FHE-ZKP interactions, addressing efficiency bottlenecks while maintaining strong security guarantees. The outcomes aim to advance scalable, privacy-enhanced systems for secure cloud computing and decentralized applications.

Keywords:Fully Homomorphic Encryption, Zero-knowledge proofs, Verifiable computations

Disciplines:Cryptography, privacy and security

Project type:PhD project