CARTE - 2014 - Annual activity report

CARTE

CARTE - 2014

Project-Team Carte

Members

Overall Objectives

Research Program

Computer Virology
Computation over continuous structures
Rewriting

Application Domains

Computer Virology
Computations and Dynamical Systems

New Software and Platforms

Morphus/MMDEX
DynamicTracer
CoDisasm

New Results

Highlights of the Year
Malware Detection and Program Analysis
Computability and Complexity

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2014 Project-Team Activity Report

CARTE

Theoretical adverse computations, and safety

Research centre: Nancy - Grand Est

In partnership with: CNRS, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Security and Confidentiality

Keywords: Formal Methods, Security, Virology, Complexity, Model Of Computation, Real Numbers