Meera Sridhar
Meera Sridhar
Associate Professor
College of Computing and Informatics
Research areas: program analysis and verification, model-checking, in-lined reference monitoring (binary instrumentation), security policies, language design and analysis, program equivalence, language-based solutions for web, mobile security, and IoT security, program-proof co-development, security for cyber-physical systems