Towards Trustworthy Systems with Open Standards and Trusted Computing

European Multilaterally Secure Computing Base

HomeEnglish 

 


Einleitung

News

Use Cases

Partner

Technologie

Turaya

Publikationen

Downloads

Kontakt

Roadshow 2008



Research Papers

Die folgende Liste enthält einen ausgewählten Auszug aller Veröffentlichungen 

2006

Ahmad-Reza Sadeghi, Michael Scheibel, Christian Stüble, Marko Wolf: Play it once again, Sam - Enforcing Stateful Licenses on Open Platforms, accepted to be presented at The Second Workshop on Advances in Trusted Computing (WATC '06 Fall).

Hans Löhr, Hari Govind V. Ramasamy, Stefan Schulz, Matthias Schunter, Christian Stüble: Enhancing Grid Security Using Trusted Virtualization, accepted to be presented at The Second Workshop on Advances in Trusted Computing (WATC '06 Fall).

Liqun Chen, Rainer Landfermann, Hans Loehr, Markus Rohe, Ahmad-Reza Sadeghi and Christian Stüble: A Protocol for Property-Based Attestation, accepted for The First ACM Workshop on Scalable Trusted Computing (STC'06).

Ahmad-Reza Sadeghi, Marcel Selhorst, Christian Stüble, Christian Wachsmann and Marcel Winandy: TCG Inside? - A Note on TPM Specification Compliance, accepted for The First ACM Workshop on Scalable Trusted Computing (STC'06).

Ulrich Huber, Ahmad-Reza Sadeghi, Marko Wolf: Security Architectures for Software Updates and Content Protection in Vehicles, accepted for Automotive Safety and Security 2006, Sttutgart, Germany.

Ammar Alkassar, Michael Scheibel, Ahmad-Reza Sadeghi, Christian Stüble, Marcel Winandy: Security Architecture for Device Encryption and VPN, accepted for ISSE (Information Security Solution Europe) 2006.

Ahmad-Reza Sadeghi, Michael Scheibel, Christian Stüble, Marcel Winandy: Design and Implementation of a Secure Linux Device Encryption Architecture, accepted to be presented at Linux-Tag 2006.

Singaravelu, Pu, Härtig, Helmuth: Reducing TCB Complexity for Security-Sensitive Applications: Three Case Studies 04/2006 - Eurosys 1

N.Feske, C. Helmuth, Design of the Bastei OS Architecture. TU Dresden technical report TUD-FI06-07, December 2006, Dresden, Germany


2005

Härtig, Hohmuth, Feske, Helmuth, Lackorzynski, Mehnert, Peter: The Nizza Secure-System Architecture; 12/2005 - CollaborateCom 2005.

Feske, Helmuth: A Nitpicker's guide to a minimal-complexity secure GUI; 12/2005 - ACSAC 2005.

Ulrich Kühn, Klaus Kursawe, Stefan Lucks, Ahmad-Reza Sadeghi and Christian Stüble: Secure Data Management in Trusted Computing; accepted for Workshop on Cryptographic Hardware and Embedded Systems (CHES), 2005.

André Adelsbach, Ulrich Huber, Ahmad-Reza Sadeghi: Secure Software Delivery and Installation in Embedded SystemsIn Proceedings of the First Information Security Practice and Experience Conference (ISPEC 2005), LNCS 3439, Springer Verlag, pp. 255-267, Singapore, April 2005.

Ammar Alkassar, Ahmad-Reza Sadeghi, Marcel Selhorst, Christian Stüble: Towards Secure Computing Platforms with Open-Source and Trusted Computing; 9. German IT security Congress, Federal Office for Information Security (Deutscher IT-Sicherheitskongress des BSI), Mai 2005.

Ahmad-Reza Sadeghi and Christian Stüble: Towards Multilateral Security On DRM Platforms; In Proceedings of the first Information Security Practice and Experience Conference (ISPEC 2005), LNCS 3439, Springer Verlag, Singapore, April 2005.

C. Helmuth, A. Warg, and N. Feske: Mikro-SINA - Hands-on Experiences with the Nizza Security Architecture. In Proceedings of the D.A.CH Security 2005, Darmstadt, Germany, March 2005.

Oliver Altmeyer, Ahmad-Reza Sadeghi, Marcel Selhorst, Christian Stüble: Enhancing Security of Computing Platforms with TC-Technology; In Sachar Paulus, Norbert Pohlmann, Helmut Reimer (ed.): Information Security Solutions Europe (ISSE 2004), Vieweg Verlag, pp. 346-361., 2004.

M. Hohmuth, M. Peter, H. Härtig, J. S. Shapiro: Reducing TCB size by using untrusted components ? small kernels versus virtual-machine monitors; In Proceedings of the 11th ACM SIGOPS European Workshop (EW 2004), September 20-22, Leuven, Belgium, 2004.

Ahmad-Reza Sadeghi, Christian Stüble, Norbert Pohlmann: European Multilateral Secure Computing Base - Open Trusted Computing for You and Me; Datenschutz und Datensicherheit (DUD) 9/2004, Vieweg Verlag, pp. 548-554, 2004.

Ahmad-Reza Sadeghi, Christian Stüble: Property-based Attestation for Computing Platforms: Caring about policies, not mechanisms; In Proceedings of the New Security Paradigm Workshop (NSPW), ACM Press, 2004.

Feske, Helmuth: Overlay Window Management: User interaction with multiple security domains; 04/2004 - Technical Report.

Dirk Günnewig, Ahmad-Reza Sadeghi and Christian Stüble: Trusted Computing ohne Nebenwirkungen; Datenschutz und Datensicherheit (DUD) 9/2003, Vieweg Verlag, pp. 556-560.

Hohmuth, Tews: The Semantics of C++ Data Types: Towards Verifying low-level System Components; 09/2003 - Emerging trends track, TPHOLs.

C. Helmuth, A. Westfeld, M. Sobirey: µSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten; In Bundesamt für Sicherheit in der Informationstechnik (Hrsg.): IT-Sicherheit im verteilten Chaos, Tagungsband 8. Deutscher IT-Sicherheitskongress des BSI, S439-453, Secumedia-Verlag Ingelsheim, 2003.

Ahmad-Reza Sadeghi and Christian Stüble: Taming "Trusted Computing" by Operating System Design; Proceedings of the 4th International Workshop on Information Security Applications (WISA'03), LNCS 2908, Springer Verlag, Cheju Island, Korea, August 2003.

Härtig, Löser, Mehnert, Reuther, Pohlack, Warg: An I/O Architecture for Mikrokernel-Based Operating Systems; 08/2003 - Technical Report.

Christian Stüble and G. Himmelein: Vertrauensfragen - IBMs Antworten auf die TCPA-Fragen des Chaos Computer Club; appeared in c't 15/2003, Heise-Verlag.

Ahmad-Reza Sadeghi and Christian Stüble: Sinn und Unsinn von TCPA und Palladium; appeared in c't 13/2003, Heise-Verlag.

Hohmuth, Tews, Stephens: Applying source-code verification to a microkernel - The VFiasco project; 03/2002 - Technical Report.

H. Härtig: Security Architectures Revisited; In Proceedings of the 10th ACM SIGOPS European Workshop (EW 2002), September 22-25, Saint-Emilion, France, 2002. 

B. Pfitzmann, J. Riordan, Christian Stüble, M. Waidner, A. Weber: The PERSEUS System Architecture; IBM Technical Report RZ 3335 (\#93381), IBM Research Division, Zurich Laboratory, 2001.

Hohmuth, Tews: VFiasco - Towards a Provably Correct Microkernel; 07/2001 - Work-in-Progress Report.

Tews, Härtig, Hohmuth: VFiasco - Towards a Provably Correct Microkernel; 01/2001 - Technical Report

Aktuelles  &  Events

read more...


EMSCB in der Presse

read more...

© 2005 by EMSCB Consortium Anmelden