Published September 30, 2019
| Version Pending EC approval
Project deliverable
Open
D3.2 Security, Safety and Validation Support Definition
Contributors
Editors:
- 1. Polytechnic University of Bucharest
- 2. NEC Laboratories Europe
Description
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
UNICORE_D3_2_SECURITY_SAFETY_AND_VALIDATION_SUPPORT_DEFINITION_INITIAL.pdf
Files
(1.7 MB)
Name | Size | Download all |
---|---|---|
md5:ae7431f3e89e54b080a80d855d8890fc
|
1.7 MB | Preview Download |