Project-CARTE:TraceSurfer

Team CARTE

Members

Overall Objectives

Introduction
Highlights of the year

Scientific Foundations

Introduction
Continuous Computation Theory
Rewriting
Algorithmic Game Theory
Computer Virology

Application Domains

Computations by Dynamical Systems
Robust and Distributed Algorithms, Algorithmic Game Theory
Computer Virology

Software

CARIBOO
CROCUS
Detection engine by morphological analysis
TraceSurfer
Mr. Waffles
Tartetatintools
Cremebrulee
Pym's

New Results

Computation over the Continuum
Analysis and verification of adversary systems
Implicit Computational Complexity
Models of dynamics in Networks
Computer virology

Other Grants and Activities

Regional Actions
National Actions
European Actions
Visits and invitations of researchers

Dissemination

Activities within the scientific community
Workshop and conference organisation
Program Committees
Teaching
Academic Supervision
Thesis and admission committees
Participation to colloquia, seminars, invitations

Bibliography

Major publications
Publications of the year
References in notes

Inria / Raweb 2009
Presentation of the Project CARTE

Section: Software

TraceSurfer

Participants : Wadie Guizani, Jean-Yves Marion, Daniel Reynaud [ correspondant ] .

TraceSurfer is our prototype implementation using dynamic binary instrumentation for malware analysis. This tool, based on Pin [87] , can reconstruct the code waves used in self-modifying programs and detect protection patterns based on these code waves. Publications related to TraceSurfer are [31] , [37] , [43]

Logo Inria