Remote attestation is the process of securely verifying internal state of a remote hardware platform. It can be achieved either statically (at boot time) or dynamically, at run-time in order to establish a dynamic root of trust. The latter allows full isolation of a code region from preexisting software (including the operating system) and guarantees untampered execution of this code. Despite t...

Remote attestation is the process of securely verifying internal state of a remote hardware platform. It can be achieved either statically (at boot time) or dynamically, at run-time in order to establish a dynamic root of trust. The latter allows full isolation of a code region from preexisting software (including the operating system) and guarantees untampered execution of this code. Despite t...

Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of this fusion between a physical and a virtual environment. Hence, application logic is not implemented for the smart space but for the embedded network, which is only one aspect of the system. Our programming system supp...

Because of their severe resource-restrictions and limited user interfaces, smart everyday objects must often rely on remote resources to realize their services. This paper shows how smart objects can obtain access to such resources by spontaneously exploiting the capabilities of nearby mobile user devices. In our concept, handhelds join a distributed data structure shared by cooperating smart o...

Human reasoning about non-trivial real world problems is a complex activity that frequently incorporates multiple reasoning strategies, concerning multiple domains of knowledge which may be perceived as having different structures. This paper proposes the use of the “smart object paradigm” for the design of complex knowledge based systems. The paradigm provides mechanisms for both hybrid knowle...

Elevated rail transit has been developed in some big cities in China in recent years. However, specialized codes for design of the bridges in the elevated rail transit system have not yet been established. Based on the prestressed concrete (PC) box girder bridges on Guangzhou metro line 4, some technical features of design principle and technology requisition, ensemble plan and design load of b...

Shape memory alloys (SMAs) are unique smart materials that have many advantages, such as ability to resist large strains without leaving residual strains and ability to recover original form. However, the high costs of SMAs have limited their usage. This paper evaluates the behavior of concrete structures equipped with SMAs in an optimal manner as they are being used along the plastic hinge of ...