Project deliverable Open Access
Cristiano Giuffrida; Herbert Bos; Kaveh Razavi
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.