Secure Computing in the Cloud (Dagstuhl Seminar 11491)

Authors Benny Pinkas, Ahmad-Reza Sadeghi, Nigel P. Smart and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 0.62 MB
  • 10 pages

Document Identifiers

Author Details

Benny Pinkas
Ahmad-Reza Sadeghi
Nigel P. Smart
and all authors of the abstracts in this report

Cite AsGet BibTex

Benny Pinkas, Ahmad-Reza Sadeghi, and Nigel P. Smart. Secure Computing in the Cloud (Dagstuhl Seminar 11491). In Dagstuhl Reports, Volume 1, Issue 12, pp. 1-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


This report documents the program and the outcomes of Dagstuhl Seminar 11491 ``Secure Computing in the Cloud''. Cloud Computing offers a lot of benefits for end customers: high-end machines, incredible amounts of storage, high availability and everything available at the touch of a button. In this seminar we concentrate on compute clouds: Clouds, that do not only offer storage but also computations that can be outsourced in form of virtual machines (VMs). Outsourcing computations as well as data to a third party, in this case the cloud provider, are accompanied by the qualms of confiding data to the cloud provider based on blindly trusted service level agreements. The participants of this seminar discuss the involved risks, create threat models as basic assumptions that describe the (un-)trusted entities and present solutions that augment trust in the cloud provider, the integrity and verifiability of computations and data processed in the cloud.
  • cloud computing
  • outsourced computation
  • verifiability
  • integrity
  • confidentiality
  • trust


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads