Contact:

Position:

I am a Temporary Teaching and Research Assistant (Attaché Temporaire d'Enseignement et de Recherche "ATER") at the LILaC team of the IRIT (Institut de Recherche en Informatique de Toulouse) at the Université Paul Sabatier, France. I obtained my PhD in December 2009 from the Université Paul Sabatier (France). 

Research Interests:

• Symbolic analysis of security protocols
• Formal methods for security
• Automated deduction: rewriting, resolution techniques
• Specification and analysis of access control policies