ROSETTA

Rosetta s Way Back to the Source: Towards Reverse Engineering of Complex Software

 Coordinatore STICHTING VU-VUMC 

Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.

 Nazionalità Coordinatore Netherlands [NL]
 Totale costo 1˙339˙000 €
 EC contributo 1˙339˙000 €
 Programma FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call ERC-2010-StG_20091028
 Funding Scheme ERC-SG
 Anno di inizio 2011
 Periodo (anno-mese-giorno) 2011-05-01   -   2016-04-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    VERENIGING VOOR CHRISTELIJK HOGER ONDERWIJS WETENSCHAPPELIJK ONDERZOEK EN PATIENTENZORG

 Organization address address: De Boelelaan 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Ms.
Nome: Dirkje
Cognome: Schinkelshoek
Email: send email
Telefono: +31 20 5987504
Fax: +31 20 5987448

NL (AMSTERDAM) beneficiary 0.00
2    STICHTING VU-VUMC

 Organization address address: DE BOELELAAN 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Dr.
Nome: Hendrik Jaap
Cognome: Bos
Email: send email
Telefono: +31 6 49 732 119
Fax: +31 20 5987653

NL (AMSTERDAM) hostInstitution 1˙339˙000.00
3    STICHTING VU-VUMC

 Organization address address: DE BOELELAAN 1105
city: AMSTERDAM
postcode: 1081 HV

contact info
Titolo: Dr.
Nome: Yvonne
Cognome: Kops
Email: send email
Telefono: 31205987500

NL (AMSTERDAM) hostInstitution 1˙339˙000.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

binary    rosetta    visible    techniques    database    semantic    code    commercial    engineering    reverse    data    source    machine    structures    software    recovery    compilation    industry    structure    learning   

 Obiettivo del progetto (Objective)

'We propose a research program (Rossetta) towards reverse engineering of complex software that is available only in binary form. Most of the commercial software industry assumes that compilation (the translation of source code to binary code), is irreversible in practice for real applications. The research question for Rosetta is whether this irreversibility assumption is reasonable. If successful, the project will have a major impact on the software industry.

The challenge is daunting, because binary code after compilation lacks most of the visible structure and semantic information that is available at the source code level. There is no definition of data structures, no helpful names of variables and functions, no semantic information, and no indication of what chunks of instructions are supposed to do.

However, the Rosetta project has a clear methodology for source recovery. Reverse engineering is approached as an iterative process with an initial focus on recovering data structures, followed by recovery of code. We combine static and dynamic techniques with usage monitoring and machine learning. A key insight is that even if all visible structure has been removed from the data in memory, the structures will still be *used* in a way that corresponds to the source code. By observing the use of data and application of machine learning techniques, we will recover both the data and the source.

We store all information that we uncover in the Rosetta database. The database provides a handle on both the data structures and large sections of the code (and at various levels of abstraction). We believe that our methods will allow reverse engineering of very complex commercial software. Doing so will be our main criterion for success. In addition, however, we propose to demonstrate the usefulness of our analysis by automatically hardening software (to make it resilient against many types of attack) without requiring any access to the source co'

Altri progetti dello stesso programma (FP7-IDEAS-ERC)

QUIDPROQUO (2011)

"Molecular Nanotechnology for Life Science Applications: QUantitative Interactomics for Diagnostics, PROteomics and QUantitative Oncology"

Read More  

MARCHES (2012)

Modelling of Architectures Ruled by Coupled or Heightened Excited States

Read More  

BABMED (2013)

Fragments of cuneiform medicine in the Babylonian Talmud: Knowledge Transfer in Late Antiquity

Read More