Smart devices in an environment can be programmed and coordinated by a workflow in advance to achieve a user’s goal. No matter how advanced or smart the devices are, devices can fail during workflow execution. In this paper, we describe an approach to remedy such situations. We apply existing concept of adaptive workflow management to a collection of devices, called a device ecology. Informatio...

This Engineer Technical Letter (ETL) discusses the special problem areas and concerns related to RCC construction in order to assure that the concrete properties required are ultimately realized in the completed structure. A quality RCC product requires a coordinated effort between the structural designer, the materials engineer, the materials laboratory, and those responsible for field quality...

Signature schemes that are derived from three move identification schemes such as the Fiat-Shamir, Schnorr and modified ElGamal schemes are a typical class of the most practical signature schemes. The random oracle paradigm [1,2,12] is useful to prove the security of such a class of signature schemes [4,12]. This paper presents a new key technique, “ID reduction”, to show the concrete security ...

In recent work, Ishai, Prabhakaran and Sahai (CRYPTO 2008) presented a new compiler (hereafter the IPS compiler) for constructing protocols that are secure in the presence of malicious adversaries without an honest majority from protocols that are only secure in the presence of semi-honest adversaries. The IPS compiler has many important properties: it provides a radically different way of obta...

We present the results of an experiment examining the extent to which individuals will tolerate delays when told that such delays are for security purposes. In our experiment, we asked 800 Amazon Mechanical Turk users to count the total number of times a certain term was repeated in a multipage document. The task was designed to be conducive to cheating. We assigned subjects to eight between-su...

Imaging techniques are high in demand for modern nondestructive evaluation of large-scale concrete structures. The travel-time tomography (TTT) technique, which is based on the principle of mapping the change of propagation velocity of transient elastic waves in a measured object, has found increasing application for assessing in situ concrete structures. The primary aim of this technique is to...