Your search query : Software verification
12 results found
The laboratory is developing a very strong expertise in cybersecurity. It has a wide range of skills related to cybersecurity issues in the fields of software and hardware architectures, communications and networks, critical systems and risks related…
Read moreFabien Dagnat has been a lecturer in the IT department of the IMT Atlantique in Brest since 2002. Doctor since 2001 and HDR since January 2016, he is the leader of the P4S team at Lab-STICC. His field of research and teaching, software engineering, c…
Read moreFormer PhD students: Dr Quentin Ducasse, 2020-2024, grant founded by Brittany Région and DGA, PhD thesis on “Sécurisation matérielle de la compilation à la volée des machines virtuelles langage”, Dr Semih Ince, 2021-2024, grant founded by Nokia, PhD…
Read moreUntil few years ago, embedded systems were often isolated from their environment. Due to new applications such as IoT, autonomous systems or more generally applications that require significant computing and storage resources (e.g. artificial inte…
Read more