Ning Shen

Ning Shen is a researcher in computer science with a focus on security and testing methodologies. Their work spans access control policies, database encryption, and automated testing techniques.

Research Interests:

• XACML policy testing and analysis
• Order-preserving encryption for databases
• Automated and mutation testing
• Formal verification of security protocols