Skip to main content

Abstractions for Safe and Secure HW-SW Systems

Project description

Modular design principles to enable safe and secure hardware-software systems

Many safety critical areas of our lives are controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. However, a crucial aspect of computer systems, the hardware-software interface, renders the development of safe and secure applications impossible at a fundamental level. This was brought to the fore in 2018, when the Spectre and Meltdown attacks were first described. Ever since, hardware and software developers have been struggling to mitigate the resulting vulnerabilities. The EU-funded SafeSecS project is tackling this challenge with a new framework to guarantee key safety and security features at the software level on top of novel hardware-software contracts.

Host institution

UNIVERSITAT DES SAARLANDES
Net EU contribution
€ 2 445 125,00
Address
Campus
66123 Saarbrucken
Germany

See on map

Region
Saarland Saarland Regionalverband Saarbrücken
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00

Beneficiaries (1)

UNIVERSITAT DES SAARLANDES
Germany
Net EU contribution
€ 2 445 125,00
Address
Campus
66123 Saarbrucken

See on map

Region
Saarland Saarland Regionalverband Saarbrücken
Activity type
Higher or Secondary Education Establishments
Other funding
€ 0,00