Contact Informations

Mathieu Jaume, MdC HDR

Organization:   UPMC / LIP6 / SPI
E-mail:    Mathieu.Jaume@lip6.fr
Address:  4 Place Jussieu
  75252 Paris Cedex 05
Phone:  (+33/0) 1 44 27 88 90

Research interest

  • Formal models of security policies (especially access control policies), FoCaLize environment, Formal methods (specifications, proofs), Logical Frameworks, Semantics of programming languages.
  • ANR SSURF project : Safety and Security UndeR Focal (2007 - 2010)
  • Publications

Teaching