Mitarbeiter

Priv.-Doz. Dr. Werner Stephan

  • Adresse (Saarbrücken)

Publikationen

Jochen Britz, Jan Alexandersson, Werner Stephan

In: Ambient Assisted Living: 8. AAL-Kongress 2015. Deutscher AAL-Kongress (AAL) April 29-30 Frankfurt/M. Germany Seiten 83-96 ISBN 978-3-319-26345-8 Springer International Publishing Cham 2016.

Zur Publikation
Andreas Nonnengart, Dmitri Rubinstein, Philipp Slusallek, Werner Stephan

In: Peter Schartner, Kerstin Lemke-Rust, Markus Ullmann (Hrsg.). D A CH Security 2015. IT Security & IT Management September 8-9 St. Augustin / Bonn Germany syssec 2015.

Zur Publikation
Lassaad Cheikhrouhou, Werner Stephan, Markus Ullmann

MACIS 2013, Nanning, China, December 11-13 Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and Information Sciences 2013.

Zur Publikation

Profil

Projekte

Euro-Mils


Secure European virtualisation for trustworthy applications in critical domains

Partner

Technikon Forschungs- und Planungsgesellschaft mbH, SYSGO AG, Universiteit Gent, Airbus, EADS Deutschland GmbH - Innovation Works, OpenSynergy GmbH, European Aeronautic Defence and Space...

ProtoTo


Durchgängige Entwicklung von Sicherheitsprotokollen

Im akademischen Bereich existieren zahlreiche Ansätze zur Analyse der logischen Korrektheit von Sicherheitsprotokollen. Computerunterstütze Ansätze basieren durchweg auf dem Dolev-Yao (DY) Modell, das...

SeSam


Secure and Safe Microkernel

Ziel von SeSam ist es, Grundlagen für die Entwicklung und Zertifizierung von hochsicheren Betriebssystemkomponenten zu schaffen. Insbesondere geht es um *Virtualisierungslösungen* für zentralisierte...

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence