Seminario e lezione di Jean-Yves Marion

Seminario e lezione di Jean-Yves Marion

Oggi alle ore 16:45 in Sala Verde ci sarà il seminario di Jean-Yves Marion, che ha valenza per la lezione di venerdì prossimo, che quindi venerdì non avrà luogo. Domani, Giov dalle 9 alle 11 in Aula G ci sarà una lezione specifica di Jean-Yves Marion su analisi di virus e malware.


Self-modification and dynamic behavior analysis

In this talk, I will present some works in progress on computer virology which are made in the team Carte at Nancy University thanks to the High Security Lab ( Nowadays, all malware are obfuscated by using for example home-made packers. In other words, malware are self-modifying programs. As a result it is difficult to analyze them. I will present a simple formal representation of self-modifying programs and a dynamical analysis of them which reconstruct a partial representation. Then, I will talk about a work on behavior abstraction in order to analyze malware, which was presented at Runtime Verification conference in 2010. Our technique consists in abstracting
program traces, by rewriting given subtraces into abstract symbols representing their functionality. Traces are captured dynamically by code instrumentation, which allows us to handle packed or self-modifying malware.

Speaker: Jean-Yves Marion, LORIA -- Francia

Contact Person: Prof. Roberto Giacobazzi

Publication date
Wednesday, April 13, 2011 - 3:35:35 PM
Seminario e lezione di Jean-Yves Marion
Published by
Roberto Giacobazzi
Automatic System Analysis and Verification (2009/2010)
Static analysis and code protection (2009/2010)
Static analysis and code protection (2010/2011)
Bachelor's degree in Computer Science
Bachelor's degree in Multimedia Information Technology (until 2008-2009)
Master's degree in Computer Science and Engineering
Masters in Computer Science
PhD in Computer Science (last activated in 2013)