When two or more parties need to compute a common result while safeguarding their
sensitive inputs, they use secure multiparty computation (SMC) techniques such as garbled …

Protocols for secure multiparty computation enable a set of parties to compute a joint
function of their inputs, while preserving privacy, correctness and more. In theory, secure …

Emergency service call for public service providers has become an important role for smart
home applications in order to support safety and security in the household building …

Personal data is highly vulnerable to security exploits, spurring moves to lock it down
through encryption, to cryptographically 'cloud'it. But personal data is also highly valuable to …

We describe and present a prototype of a distributed computational infrastructure and
associated high-level programming language that allow multiple parties to leverage their …

In the wake of the social sciences' so-called replication crisis, researches increasingly strive
to adopt methods preventing questionable research practices in empirical studies, eg, study …

We present a prototype of a distributed computational infrastructure, an associated highlevel
programming language, and an underlying formal framework that allow multiple parties to …

From consumer hard drives and enterprise servers, data is migrating to the cloud. Driven by
lower costs of ownership, elastic on-demand services, improved interoperability and the …