The Security Design and Validation Research Group – SERVAL – is headed by Professor Yves Le Traon.

SERVAL conducts research on software engineering, and more specifically on modelling and design for security, as well as on validation of functional/security mechanisms for systems and software. Among the issues addressed by the group, we can mention (1) the use of Model Driven Engineering for designing secure systems, (2) model composition and aspect weaving to develop adaptive security and testable mechanisms, (3) the definition of security policies and dedicated testing techniques (mutation, evolutionary algorithms, static analysis) to ensure that functional and security mechanisms (privacy, access control, usage control, encryption) are correctly implemented and deployed. The domains of application concern Ambient Assisted Living using sensor networks, information systems, distributed systems, web-applications, SOA, mobile apps.

Research topics include:

  • Model Driven Engineering
  • Android Security
  • Software Testing
  • Access Control
  • Conviviality vs Privacy

Prof. Yves Le Traon (SnT)