Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published September 30, 2019 | Version Pending EC approval
Project deliverable Open

D3.2 Security, Safety and Validation Support Definition

  • 1. Stichting Vrije Universiteit Amsterdam

Contributors

  • 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