ENabling TRust through Os Proofs...and beYond

le 25 janvier 2018

ENTROPY 2018 est un colloque international organisé par l’équipe 2XS de CRIStAL sur la vérification formelle de noyaux de systèmes d’exploitation. Il consiste en douze présentations invitées par d’éminents chercheurs internationaux du domaine.

En savoir plus...

Ircica, Villeneuve d'Ascq

Faits marquants