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 William Pensec, 2021-2024, grant founded by by Brittany Région and UBS , PhD thesis on "Enhanced Processor Defence Against Physical and Software Threats by Securing DIFT Against Fault Injection Attacks" Dr Nicolas Gaudin, 202…
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