More Publications can be found in the Blog Publications section.
2013
- Security and Privacy Enhancing Multi-Cloud Architectures. In IEEE Transactions on Dependable and Secure Computing, 99 (PrePrints): 1, 2013.
- Client-controlled Cryptography-as-a-Service in the Cloud. In 11th International Conference on Applied Cryptography and Network Security (ACNS'13), Springer, 2013.
- Policy-based Secure Deletion. Technical Report RZ 3843, IBM Research, 2013.
- On Verifying the Consistency of Remote Untrusted Services. In CoRR - ACM Computing Research Repository, abs/1302.4808, 2013.
2012
- Clouds Trust Anchors. In The 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-11), IEEE, 2012.
- Secure Cloud Maintenance - Protecting workloads against insider attacks. In 7th ACM Symposium on Information, Computer and Communications Security (ASIACCS'12), ACM, 2012.
- CheapBFT: Resource-efficient Byzantine Fault Tolerance. In Proceedings of the 7th ACM European Conference on Computer Systems (EuroSys '12), pages 295-308, ACM, New York, NY, USA, EuroSys '12 , 2012.
- Providing Fault-tolerant Execution of Web-service-based Workflows within Clouds. In Proceedings of the 2nd International Workshop on Cloud Computing Platforms (CloudCP '12), pages 7:1-7:6, ACM, New York, NY, USA, CloudCP '12 , 2012.
- Robust Data Sharing with Key-Value Stores. In Proc. Intl. Conference on Dependable Systems and Networks (DSN), 2012. doi..
- On Limitations of Using Cloud Storage for Data Replication. In Proc. 6th Workshop on Recent Advances in Intrusion Tolerance and reSilience (WRAITS 2012), DSN 2012 Workshops, 2012.
- DQMP: A Decentralized Protocol to Enforce Global Quotas in Cloud Environments. In Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS '12), pages 217-231, Springer Berlin / Heidelberg, SSS '12 , 2012.
- A look to the old-world sky: EU-funded dependability cloud computing research. In ACM SIGOPS Operating Systems Review, 46 (3): 43-56, 2012.
- From Byzantine Consensus to BFT State Machine Replication: A Latency-optimal transformation. IEEE Computer Society, 2012.
- The TClouds Architecture: Open and Resilient Cloud-of-Clouds Computing. In Proc. 2nd International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV’12), together with IEEE/IFIP DSN'12, 2012.
- Privacy and Resilience for Internet-scale Critical Infrastructures.
- A framework for establishing trust in Cloud provenance. In International Journal of Information Security, 11: 1-18, 2012.
- A framework for establishing trust in the Cloud. In Computers and Electrical Engineering, 38 (5): 1073–1087, 2012.
2011
- Trust in Clouds. In Elsevier Information Security Technical Report, to appear, 2011.
- Toward Trustworthy Clouds' Internet Scale Critical Infrastructure. In ISPEC '11: Proceedings of the 7th Information Security Practice and Experience Conference, Springer, Lecture Notes in Computer Science , 2011.
- Dynamics of Trust in Clouds --- Challenges and Research Agenda. In The 6th International Conference for Internet Technology and Secured Transactions (ICITST-2011), pages 110-115, IEEE, 2011.
- Insiders Analysis in Cloud Computing Focusing on Home Healthcare System. In The 6th International Conference for Internet Technology and Secured Transactions (ICITST-2011), pages 350-357, IEEE, 2011.
- Robust Data Sharing with Key-Value Stores. In Proc. 30th ACM Symposium on Principles of Distributed Computing (PODC), 2011.
- DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. In 6th ACM SIGOPS/EuroSys European Systems Conference (EuroSys'11), ACM, 2011.
- Automated Verification of Virtualized Infrastructures. In ACM Cloud Computing Security Workshop (CCSW'11), ACM, 2011.
- Automated Information Flow Analysis of Virtualized Infrastructures. In 16th European Symposium on Research in Computer Security (ESORICS'11), Springer, 2011.
- A Virtualization Assurance Language for Isolation and Deployment. In IEEE International Symposium on Policies for Distributed Systems and Networks (POLICY'11), IEEE, 2011.
- The Hare and the Tortoise: Bringing together Fast and Trusted Clouds. In Workshop on Cryptography and Security in Clouds, 2011.
- Clouds' Infrastructure Taxonomy, Properties, and Management Services. In CloudComp '11: Proceeding of the International workshop on Cloud Computing: Architecture, Algorithms and Applications, Springer-Verlag, LNCS , 2011.
- AmazonIA: When Elasticity Snaps Back. In 18th ACM Conference on Computer and Communications Security (CCS'11), ACM, 2011.
- Twin Clouds: Secure Cloud Computing with Low Latency. In Communications and Multimedia Security Conference (CMS'11), Springer, 2011.
- The Trusted Platform Agent. In IEEE Software (Special issue on Software Protection), 8 (2): 35-41, 2011.
- Integrity and Consistency for Untrusted Services. In Proc. 37th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2011), pages 1-14, Springer, LNCS 6543, 2011.
- Typing a Core Binary Field Arithmetic in a Light Logic. Technical Report, Computer Science Department of Complutense University of Madrid, 2011.
- A home healthcare system in the cloud - addressing security and privacy challenges. In IEEE International Conference on Cloud Copmuting (CLOUD'11), IEEE, 2011.
- Trustworthy Clouds underpinning the Future Internet. In Future Internet Assembly, pages 209-221, Springer-Verlag, Lecture Notes on Computer Science (LNCS) 6656, 2011.
- TClouds - Auf dem Weg zur sicheren und datenschutzkonformen Cloud. In kes, 03/2011: 14-15, 2011.
- TClouds - Privacy meets Innovation. In Journal Symposia, 1/2011: 39-42, 2011.
- Middleware Services at Cloud Application Layer. In IWTMP2PS '11: Proceedings of Second International Workshop on Trust Management in P2P Systems, 2011.
- Recursive Virtual Machines for Advanced Security Mechanisms. In 1st International Workshop on Dependability of Clouds, Data Centers and Virtual Computing Environments (DCDV'11), together with IEEE/IFIP DSN'11, IEEE, 2011.
- TClouds - Herausforderungen und erste Schritte zur sicheren und datenschutzkonformen Cloud. In Datenschutz und Datensicherheit, 05/2011: 333-337, 2011.
- Cloud Computing und Safe Harbor. In Datenschutz und Datensicherheit, 05/2011: 311-316, 2011.
- Verifying Trustworthiness of Virtual Appliances in Collaborative Environments. In International Conference on Trust and Trustworthy Computing (TRUST'11), Springer, 2011.
- The Final Frontier: Confidentiality and Privacy in the Cloud. In Computer, 44 (9): 44-50, 2011. doi..
- Lucy in the sky without diamonds: Stealing confidential data in the cloud. In Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on, pages 129-134, 2011. doi..
- A unified ontology for the Virtualization domain. In DOA-SVI'11: Proceedings of the 1st International Symposium on Secure Virtual Infrastructures, pages 617-624, Springer, 2011.
- On scalability of remote attestation. In STC '11 Proceedings of the sixth ACM workshop on Scalable trusted computing, ACM, 2011.
- Middleware Services at Cloud Virtual Layer. In DSOC 2011: Proceedings of the 2nd International Workshop on Dependable Service-Oriented and Cloud computing, IEEE Computer Society, 2011.
- Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. In Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on, pages 32-39, IEEE Computer Society, Los Alamitos, CA, USA, 2011.
- Operational Trust in Clouds' Environment. In MoCS 2011: Proceedings of the Workshop on Management of Cloud Systems, IEEE Computer Society, 2011.
- A comparison of secure multi-tenancy architectures for filesystem storage clouds. In Lecture Notes in Computer Science, 7049: 471-490, 2011.
- A cloud you can trust. In Spectrum IEEE, 48, Issue 12: 28-51, 2011.
- From Trusted Cloud Infrastructures to Trustworthy Cloud Services. , 2011.
- Self-Managed Services Conceptual Model in Trustworthy Clouds' Infrastructure. In Workshop on Cryptography and Security in Clouds, IBM, Zurich, 2011.
- Secure Virtual Layer Management of the Clouds. In The 10th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-11) (to appear), IEEE, 2011.
- Trustworthy Middleware Services in the Cloud(to appear). In CloudDB'11, ACM Press, NY, 2011.
- Challenges for Provenance in Cloud Computing. In in 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP '11), USENIX Association, 2011.
2010
- Storyboard: Optimistic Deterministic Multithreading. In 6th USENIX Workshop on Hot Topics in System Dependability (HotDep ’10), Vancouver BC, CAN, 2010.
- TCLOUDS -- Trustworthy Clouds – Privacy and Resilience for Internet-scale Critical Infrastructures. Technical Report Grant Agreement No. 257243, Technikon GmbH, Villach, AT, 2010.
- EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. In 12th IEEE International High Assurance Systems Engineering Symposium (HASE'10), IEEE, 2010.
Further publications
- Twitter account for TClouds, to announce news about TCLOUDS results or events. http://twitter.com/tclouds_project
- TClouds LEAFLET view
- Areias, M.: Smart Power Metering in the Clouds; In: Smart Metering Industry Journal; 2011 view


