Abstract The Cloud Computing model has incentivized companies to outsource services to
third-party providers. Service owners can use third-party computational, storage and network …

In recent years, Multiparty computation as a service (MPCSaaS) is gaining popularity as a
promising approach for building privacy-preserving communication systems. Although there …

A zero-knowledge argument is a cryptographic protocol between a prover and a verifier
where the objective is to prove the validity of some statement while not leaking any other …

The size of the information society is increasing exponentially, many public organizations
such as national libraries are making efforts top reserve born-digital scientific, artistic and …

Some embodiments are directed to a computation device configured to verify that an edit
script is for transforming a first string to a second string. The edit script has match operations …

In the current credit scoring system, the credit bureau gathers credit information from
financial institutions and calculates a credit score based on it. However, because all …

We study the problem of argument systems, where a computationally weak verifier
outsources the execution of a computation to a powerful but untrusted prover, while being …

Distributed ledgers or blockchains are a technology for storing data in a distributed manner,
that is, without a central storage while keeping a consensus about the contents of the data …

In an emerging computing paradigm, computational capabilities, from processing power to
storage capacities, are offered to users over communication networks as a cloud-based …

This deliverable presents the contributions and findings that were produced by Tasks 1 to 4
under Work Package 3 (WP3). Within ESCUDO-CLOUD WP3 is focusing on formulating …