Her research interests are in theorem proving, formal methods and security, translation validation, verification of cryptographic protocols, and program analysis for security.