Inspired by the work of Al-Khwarizmi , the Khwarizmi Lab at UMass Amherst studies problems at the intersection of systems and algorithms. We develop secure and effective solutions for financial technology, quantum networks, and critical infrastructure, including mobile networks and industrial control systems.
Our research examines how networked systems behave in practice, where their security assumptions fall short, and how system design and verification can make them more reliable.
Explore the lab's work in our publications.
We study authentication, authorization, and access control in large-scale digital systems, including banking and payments. By analyzing security policies and their implementation, we identify vulnerabilities and develop remedies that help protect users and business assets.
We investigate the practical security of quantum communication, including quantum key distribution and related protocols. Our work examines how these systems behave under adversarial conditions and seeks efficient, end-to-end protections for real-world use.
Next-generation mobile networks must meet diverse requirements for throughput, latency, safety, and trust. We develop network protocols and systems for efficient, safe, and secure mobile communications.
See how our research is featured in Media & Press coverage.
