Although system virtualization is not a new paradigm, the way in which it is used in modern
system architectures provides a powerful platform for system building, the advantages of …

Remote attestation is a crucial security service particularly relevant to increasingly popular
IoT (and other embedded) devices. It allows a trusted party (verifier) to learn the state of a …

An Ironclad App lets a user securely transmit her data to a remote machine with the
guarantee that every instruction executed on that machine adheres to a formal abstract …

Techniques are disclosed for controlling and managing vir tual machines and other such
virtual systems. VM execution approval is based on compliance With policies controlling …

Techniques are disclosed for controlling and managing virtual machines and other such
virtual systems. VM execution approval is based on compliance with policies controlling …

Remote attestation is the activity of making a claim about properties of a target by supplying
evidence to an appraiser over a network. We identify five central principles to guide …

Accidental or intentional mismanagement of cloud software by administrators poses a
serious threat to the integrity and confidentiality of customer data hosted by cloud services …

Smart vehicle-to-grid (V2G) involves intelligent charge and discharge decisions based on
user operational energy requirements, such as desired levels of charging and waiting time …

In wide area computing systems, it is often desirable to create remote read-only copies
(replicas) of files. Replication can be used to reduce access latency, improve data locality …

Remote attestation is an important security service that allows a trusted party (verifier) to
verify the integrity of a software running on a remote and potentially compromised device …