direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

VERAPRO

part of the Software Campus, supported by the Bundesministerium für Bildung und Forschung

Confidentiality for all programs

In the course of digitalization, more and more data is being collected and automatically processed by software. In many areas, confidential treatment of data must be ensured. Since a large part of the software used is delivered without source code or formal specification, this is associated with great challenges. Analyses of possible information flows, as commonly applied in compiler construction, typically do not scale here. The concept of Secure Multi-Execution offers a promising alternative. Unfortunately, existing prototypes are not practical so far because they are not applicable to machine code and impose intolerable resource overhead.

Within the scope of this project, a reference implementation is to be designed and developed which ensures the confidentiality of existing software by Demand-Driven Secure Multi-Execution. The resource consumption is reduced by limiting enforcement to critical program sections. With the focus on machine-code level, we demonstrate the broad applicability of the method. The results support the secure processing of sensitive data for a digitized future.

Project Members

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe