[aadl]: Available Phd felloship (funding of 3 years) related to AADL

[frank singhoff]

-------- Message transféré --------
Sujet : 	[gdr.gpl ] PhD position: Fine-grained data-flow security in 
real-time critical systems
Date : 	Fri, 15 May 2020 11:12:50 +0200
De : 	Hai Nam TRAN <hai-nam.tran at univ-brest.fr>
Répondre à : 	Hai Nam TRAN <hai-nam.tran at univ-brest.fr>
Pour : 	gdr.gpl at imag.fr



Hello,

The MOCS team of Lab-STICC, University of Brest is looking for a 
candidate for the PhD thesis: "Fine-grained data-flow security in 
real-time critical systems".

The context of this thesis is security in real-time critical systems 
with AADL.
Verification methods used for these systems are often based on the 
validation of timing constraints or schedulability.
However, they are not sufficient to ensure the proper functioning of a 
system against cyberattacks.
The work carried out in this thesis aims to secure a system by applying 
a dynamic control on the operations performed on its data and scheduling.

Detailed information on the thesis is available at the following 
address: http://beru.univ-brest.fr/cheddar/FILTRATE.pdf

To apply, please send an email with a CV and academic transcripts 
(Master, Bachelor) to:
Alain Plantec: alain.plantec at univ-brest.fr
Hai Nam Tran: hai-nam.tran at univ-brest.fr

Please do not hesitate to forward this email to students around you who 
are likely to be interested.

Best regards,
Hai Nam Tran

-----------------------------------------------

Bonjour,

L'équipe MOCS du Lab-STICC de l'Université de Bretagne Occidentale 
recherche un(e) candidat(e) pour une thèse portant sur le sujet 
"Fine-grained data-flow security in real-time critical systems".

La thèse porte sur la cybersécurité dans les systèmes temps réel 
critiques. Les méthodes de validation les plus utilisées pour les 
systèmes temps réel critiques visent à garantir leurs propriétés 
temporelles. Cependant, face aux cyberattaques, ces méthodes sont 
inopérantes pour garantir le bon fonctionnement d'un système en cours 
d’exploitation. Les travaux menés pour cette thèse visent à garantir la 
bonne exécution d’un système par un contrôle dynamique des opérations 
effectuées sur les données et de leur ordonnancement.

Vous trouverez plus de détails sur le sujet proposé à l'adresse suivante 
: http://beru.univ-brest.fr/cheddar/FILTRATE.pdf

La thèse aura lieu à Brest, dans les locaux de l'Université de Bretagne 
Occidentale.

Pour candidater, merci de nous envoyer par email un CV ainsi qu’un 
relevé de notes de Master et de Licence à:
Alain Plantec: alain.plantec at univ-brest.fr
Hai Nam Tran: hai-nam.tran at univ-brest.fr

N'hésitez pas à la diffuser dans vos réseaux et aux étudiant(e)s autour 
de vous susceptibles d'être intéressé(e)s.

Cordialement,
Hai Nam Tran



-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: FILTRATE.pdf
Type: application/pdf
Size: 96312 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20200516/21ad36f9/attachment-0001.pdf>