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
43
53
views
downloads
All versions This version
Views 4343
Downloads 5353
Data volume 90.3 MB90.3 MB
Unique views 3636
Unique downloads 4949

Share

Cite as