Startseite // Forschung // FSTM // DCS // Forschungsgr... // Security Design and Validation Research Group

Security Design and Validation Research Group

Forschungsziele

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

Laufende Forschungsprojekte

STELLAR - teSTing sELf-LeARning systems

Zeitrahmen: 1. September 2019 - 31. August 2022
Finanzierung: FNR - CORE
Teilnehmer: LE TRAON, Yves (Projektleiter), CORDY, Maxime (Forscher), PAPADAKIS, Mike (Forscher)

Beschreibung:

Self-learning software systems (SLS) are integrated into a variety of domains ranging from safety-critical applications (autonomous cars and healthcare) to business-critical applications (finance, smart factories). Engineering such systems, however, is still a new practice, often not well-understood by engineers, and thus errorprone. It is therefore essential to provide engineers with …

In Press

    Journal Article

  • A Formal Framework of Software Product Line Analyses, Castro Thiago, Teixeira Leopoldo, Alves Vander, Apel Sven, Cordy Maxime, Gheyi Rohit. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
  • Killing Stubborn Mutants with Symbolic Execution, Titcheu Chekam Thierry, Papadakis Mike, Cordy Maxime, Le Traon Yves. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).
  • Selecting Fault Revealing Mutants, Titcheu Chekam Thierry, Papadakis Mike, Bissyande Tegawendé François D Assise, Le Traon Yves, Sen Koushik. In: Empirical Software Engineering, Springer.
  • Test Selection for Deep Learning Systems, Ma Wei, Papadakis Mike, Tsakmalis Anestis, Cordy Maxime, Le Traon Yves. In: ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery (ACM).

2021

    Thesis

  • Mining App Lineages: A Security Perspective, Gao Jun, Jury: Klein Jacques (Promotor), Bissyande Tegawendé François D Assise (President), li li (President), Scandariato Riccardo (Member), Sabetta Antonino (Member).
  • Taming Android App Crashes, Kong Pingfan, Jury: Klein Jacques (Promotor), Bissyande Tegawendé François D Assise (President), Li Li (President), Leonardo Mariani (Member), Ting Su (Member).

2020

2019

2018

2017

2016

    Book Chapter

  • Cloud Providers Viability: How to Address it from an IT and Legal Perspective?, Bartolini Cesare, El Kateb Donia, Le Traon Yves, Hagen David, Altmann Jörn (Editor), Silaghi Gheorghe Cosmin (Editor), Rana Omer F. (Editor). In: Economics of Grids, Clouds, Systems, and Services, Springer International Publishing.
  • IoT Platforms Initiative, Kubler Sylvain, Främling Kary, Zaslavsky Arkady, Vermesan Ovidiu (Editor), Friess Peter (Editor). In: Digitising the Industry Internet of Things Connecting the Physical, Digital and Virtual Worlds, River Publishers.

2015

2014

    Book Chapter

  • Advances in Model-Driven Security, Lucio Levi, Zhang Qin, Nguyen Phu Hong, Amrani Moussa, Klein Jacques, Vangheluwe Hans, Le Traon Yves, Memon Atif (Editor). In: Advances in Computers, Elsevier.
  • The NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs, Olivares Mendez Miguel Angel, Bissyandé Tegawendé, Somasundar Kannan, Klein Jacques, Voos Holger, Le Traon Yves, Bissyandé Tegawendé F. (Editor), van Stam Gertjan (Editor). In: e-Infrastructure and e-Services for Developing Countries, Springer International Publishing.

2013