Elle s’intéresse à l'application des méthodes formelles aux problèmes de sécurité et de protection de la vie privée dans les navigateurs Internet. Plus particulièrement, elle étudie la conception d'applications web transparentes et respectueuses de la vie privée. Elle effectue des mesures du traçage Web pour les détecter et les prévenir ceci incluant des techniques avancées d'empreinte du navigateur.