@article{66260,
  abstract     = {{<jats:title>Abstract</jats:title>
               <jats:p>This paper presents a multi-layer software reliability approach that leverages multiple software layers (e. g., programming language, compiler, and operating system) to improve the overall system reliability considering unreliable or partly-reliable hardware. We present a comprehensive design flow that integrates multiple software layers while accounting for the knowledge from lower hardware layers. We show how multiple software layers synergistically operate to achieve a high degree of reliability.</jats:p>}},
  author       = {{Shafique, Muhammad and Axer, Philip and Borchert, Christoph and Chen, Jian-Jia and Chen, Kuan-Hsun and Döbel, Björn and Ernst, Rolf and Härtig, Hermann and Heinig, Andreas and Kapitza, Rüdiger and Kriebel, Florian and Lohmann, Daniel and Marwedel, Peter and Rehman, Semeen and Schmoll, Florian and Spinczyk, Olaf}},
  issn         = {{1611-2776}},
  journal      = {{it - Information Technology}},
  number       = {{3}},
  pages        = {{170--180}},
  publisher    = {{Walter de Gruyter GmbH}},
  title        = {{{Multi-layer software reliability for unreliable hardware}}},
  doi          = {{10.1515/itit-2014-1081}},
  volume       = {{57}},
  year         = {{2015}},
}

@phdthesis{15901,
  abstract     = {{XML Encryption and XML Signature describe how to apply encryption and signing algorithms to XML documents. These specifications are implemented in a wide range of systems and frameworks processing sensitive data, including banking, eGovernment, eCommerce, military, and eHealth infrastructures. The article presents practical and highly critical attacks which allow to forge signed XML documents or reveal contents of encrypted XML data.}},
  author       = {{Somorovsky, Juraj}},
  issn         = {{1611-2776}},
  title        = {{{On the insecurity of XML Security}}},
  doi          = {{10.1515/itit-2014-1045}},
  year         = {{2013}},
}

@article{16481,
  abstract     = {{<jats:title>Zusammenfassung</jats:title><jats:p>Vernetzte Systeme sind zu unverzichtbaren Bestandteilen unseres Umfelds geworden, zum Beispiel als Höchstleistungsrechner, als Kommunikations- und Informationssysteme oder als Planungs- und Steuerungskomponenten von Transport- und Produktionssystemen. Die ständig wachsende Komplexität solcher Systeme stellt Informatiker und Ingenieure vor immer neue Herausforderungen. In diesem Beitrag beschreibe ich die Zielsetzungen und die Struktur des SFB 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen. Als Beispiel für unsere Arbeiten beschreibe ich einen algorithmisch orientierten Forschungszweig, in dem wir, ausgehend von theoretischen Problemen über effiziente Simulationen zwischen parallelen Rechenmodellen, Methoden, Techniken und Implementierungen entwickelt haben, die zu produktnahen Prototypen für die Speichervirtualisierung in verteilten Datenservern führen.</jats:p>}},
  author       = {{Meyer auf der Heide, Friedhelm}},
  issn         = {{2196-7032}},
  journal      = {{it - Information Technology}},
  title        = {{{Sonderforschungsbereich 376 Massive Parallelität: Algorithmen – Entwurfsmethoden – Anwendungen (Massively Parallel Computing: Algorithms – Design Methods – Applications)}}},
  doi          = {{10.1524/itit.45.2.108.19606}},
  year         = {{2003}},
}