Blockchains offer a decentralized, immutable and verifiable ledger that can record
transactions of digital assets, provoking a radical change in several innovative scenarios …

Secure multi-party computation (MPC) allows a group of mutually distrustful parties to
compute a joint function on their inputs without revealing any information beyond the result …

Recently, interest in automatic crack detection on concrete structure images for non-
destructive inspection has been increasing. In general, there are various noises such as …

We present Strain, a new auction protocol running on top of blockchains and guaranteeing
bid confidentiality against fully-malicious parties. As our goal is efficiency and low …

Raziel combines secure multi-party computation and proof-carrying code to provide privacy,
correctness and verifiability guarantees for smart contracts on blockchains. Effectively …

The costs of designing, building, launching and maintaining satellites make satellite
operators extremely motivated to protect their on-orbit assets. Unfortunately, privacy …

Modern mobile devices place a wide variety of sensors and services within the personal
space of their users. As a result, these devices are capable of transparently monitoring many …

We improve the quality of cryptographically privacy-preserving genome-wide association
studies by correctly handling population stratification-the inherent genetic difference of …

In a Futures-Exchange, such as the Chicago Mercantile Exchange, traders buy and sell
contractual promises (futures) to acquire or deliver, at some future pre-specified date, assets …

In this contribution we outline the concept of Trusted Smart Statistics as the natural evolution
of official statistics in the new datafied world. Traditional data sources, namely survey and …