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
32
33
views
downloads
All versions This version
Views 3232
Downloads 3333
Data volume 56.2 MB56.2 MB
Unique views 2727
Unique downloads 3232

Share

Cite as