MathQuEST

Security Research

Securing the Digital World in the Quantum Era

Building foundations for quantum-safe cryptography, and designing efficient cryptographic primitives, protocols, and standards to keep us secure in the quantum era.

Quantum computing poses an unprecedented challenge to the cryptographic systems protecting our digital lives, from banking, healthcare to national security. Despite recent progress, including NIST PQC standards, existing tools for quantum-resistant cryptography remain limited and often impractical. Our research center is at the forefront of tackling these challenges to build a secure digital future.

Our work spans three interconnected pillars. First, we deepen the theoretical foundations of cryptography, developing new approaches, including broadened hardness assumptions and construction methods, to design fundamental primitives, from basic cryptographic building blocks like encryption, to advanced tools such as zero-knowledge proofs, that remain secure against quantum attackers. Second, we design new efficient and scalable cryptographic protocols, including privacy-preserving protocols that protect sensitive data during computation, and distributed protocols (such as blockchain) that enable secure collaboration across mutually untrusting parties, to be secure in the quantum era. Third, we are also bridging theory and real-world practice, by developing tools and standards for migration of existing industry protocols to quantum resistance, and ensuring the new protocols are efficient to deploy, implemented correctly, and ready to replace today's vulnerable systems.

Our goal is to stay ahead of the quantum threat, while ensuring a smooth, trustworthy, and accessible transition to a quantum-safe digital world.