Project deliverable Open Access

D3.2 Security, Safety and Validation Support Definition

Cristiano Giuffrida; Herbert Bos; Kaveh Razavi

Editor(s)
Emil Slusanschi; Felipe Huici

This deliverable describes the definition of the UNICORE security and safety primitives, which allow UNICORE applications to minimize the attack and failure surface in production.

This is done both proactively (using software verification techniques) and reactively (using software hardening techniques). In addition, this deliverable reports on deterministic execution support for smart contracts.

Files (1.7 MB)
Name Size
UNICORE_D3_2_SECURITY_SAFETY_AND_VALIDATION_SUPPORT_DEFINITION_INITIAL.pdf
md5:ae7431f3e89e54b080a80d855d8890fc
1.7 MB Download
13
14
views
downloads
All versions This version
Views 1313
Downloads 1414
Data volume 23.9 MB23.9 MB
Unique views 1212
Unique downloads 1414

Share

Cite as