. . "Shafi???s research focuses on areas such as cryptography, complexity theory and computation number theory, and she is well-known for her work with zero-knowledge proofs." . .