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.
