Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire du LRI
Doctoral Seminar : A short overview of advances in computer virology
Hai Nguyen Van

29 January 2015, 10h45 - 29 January 2015, 11h15
Salle/Bat : 435/PCRI-N
Contact : nguyen-van@lri.fr

Activités de recherche : Compilation et optimisation des programmes

Résumé :
Computer viruses generally employ algorithmic defensive mechanisms in order to prevent them from being detected by third-party software (i.e. antiviruses). We give a short overview of the historical framework of malware in terms of mathematical representation and recall some undecidability properties over them

Talk should be given in French, but might be given in English upon request.

Pour en savoir plus : https://www.lri.fr/~nguyen-van
Séminaires
Distributed decision and verification by mobile ag
Algorithmique distribuée
Tuesday 22 January 2019 - 10h30
Salle : 465 - PCRI-N
Evangelos Bampas .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

De la sociologie *avec* des algorithmes à la socio
Friday 09 November 2018 - 14h30
Salle : 445 - PCRI-N
Christpohe Prieur .............................................