Fakultät für Informatik | KIT |  Deutsch  | English

Kontakt zum IKS

Am Fasanengarten 5
Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44205
Fax: + 49 721 608-55022

E-Mail: info(at)iks.kit.edu

Aktuelles

Vortrag auf dem 13. Deutschen IT-Sicherheitskongress

Prof. Jörn Müller-Quade hält am 16.5.2013, um 9.00 Uhr, auf dem 13. Deutschen IT-Sicherheitskongress einen Vortrag mit dem Titel "Mit architekturbasierter Sicherheit zu systemischen Garantien".

Kryptologikum auf der CLOUDZONE 2013

Das Kryptologikum präsentiert sich auf der CLOUDZONE 2013, der Fachmesse für Cloud Computing in Karlsruhe. Die Ausstellung ist leider nicht in Gänze zu sehen, vielmehr soll die Vision hinter dem Kryptologikum dem Fachpublikum vorgestellt werden. Die CLOUDZONE findet vom 15. Mai bis zum 16. Mai 2013 in der Messe Karlsruhe statt.

Doppelmaster Kryptographie

In Zusammenarbeit mit der Université de Rennes 1 startet mit Beginn des Wintersemesters 2013/2014 ein neues Doppelmasterprogramm im Bereich Kryptographie. Weitere Informationen sind auf den Seiten der Informatik-Fakultät zu finden.

Girls'Day 

Am 25.4.13 findet der diesjährige Girls'Day statt. Das IKS ist dabei mit der Veranstaltung "Geheimschriften – wie gelangt eine Nachricht sicher von Alice zu Bob?" vertreten.

Eurocrypt 2013

Das IKS Müller-Quade und das IKS Hofheinz sind auf der diesjährigen Eurocrypt, die vom 26.5. bis 30.5.13 in Athen stattfindet, mit insgesamt 3 Veröffentlichungen vertreten.

Vortrag von Daniel Kraschewski

"Von der IT-Sicherheit zur Systemsicherheit" lautete der Titel von Daniel Kraschewskis Vortrag, den er am 21.2.13 bei der IHK-Veranstaltung "Social Media und Cybercrime: Netzsicherheit als europäische und nationale Standortaufgabe" in Erfurt hielt.

Jörn Müller-Quade bei PHOENIX

In der PHOENIX-Runde unter dem Titel "Cyberwar - der unsichtbare Krieg" nimmt Jörn Müller-Quade an einer Podiumsdiskussion über die Bedrohung durch Hacker-Angriffe teil.

Kryptologikum in den Medien

Die Kryptologikum-Ausstellung im ZKM findet Anklang in einem Videobeitrag des SWR (Landesschau Baden-Württemberg) und einer n-tv Bilderserie.

Kryptologikum-Ausstellung im ZKM

Vom 1. bis zum 3. Februar 2013 findet die Kryptologikum-Ausstellung im Zentrum für Kunst und Medientechnologie Karlsruhe (ZKM) statt. Weitere Informationen sind unter www.kryptologikum.de zu finden.

 

Alle Nachrichten

Master students (since 1992)

Author Titel Year
Mehdi Sahbi Pommaret Bases and the Computation of the Koszul Homology in the Monomial Case 2007
Thomas Steiner Automatic Multi Language Program Library Generation for REST APIs 2007
Cédric Guillou The Corporate Knowledge Power for Decision Support Systems 2007
Uta Hellinger Computational Support of Human Creativity in Design 2007
Narges Hadji-Hosseini Design and Development of a Batch Scheduling System in a Heterogeneous Environment 2007
Miyoo Tsanang Yves Stephan Entwurf eines Web Services basierten Workflow Management System (WfMS) 2006
Andriniaina Rabetanety Airline Schedule Planning Integrated Flight Schedule 2006
David Masso Mobile IPv6 Support for Dual Stack Mobile Nodes and Routers 2006
Stephan Hirmer Task Bulks in dynamischen GRID Umgebungen 2006
Houssem Belloum Effiziente PCT-Verifizierer: Untersuchung von algebraischen und kombinatorischen Konstruktionen 2006
Vivien Schmitt Host Identity Protocol Extensions for the Traversal of Network Address Translators 2006
Vitali Majer Algorithmen zur Berechnung von Automorphismen von Codes 2006
Jörg Bühler Quantum approaches to the graph isomorphism problem 2006
Moritz Minzlaff Zur Zerlegung von Radikalen endlich erzeugter Differentialideale 2006
Sonja Lauer Entwurf von Algorithmen zur Konstruktion von Differentialgleichungen mit vorgegebener endlicher Galoisgruppe 2006
Alexander Spengler Probalistische Kernel-Merthoden für strukturierte Daten 2005
Benjamin Glas Ein beweisbar sicheres Schlüsselaustauschprotokoll auf Basis des Konjugationsproblems in Zopfgruppen 2005
Falk Fleischer Einblicke in künstliche neuronale Netzwerke als Modelle für Trauma und dissoziative Amnesie 2005
Lan Liu Analyse von Web Service Protokollen mit dem AVISPA-Ansatz 2005
Ingo Braun Ein hybrides Verfahren zur dynamischen Zusammensetzung von elektronischen Diensten 2005
Hagen Tilgner Verifikation und Identifikation von Genstrukturen mit Hilfe von Massenspektrometriedaten 2005
Nicolae Ciumac Dynamisches Mitgliedschaftsmanagement innerhalb der virtuellen Organisationen 2005
Alexander Toshev Unüberwachtes Lernen von Verhaltensmodellen am Beispiel eines Videoüberwachungssystems 2005
Stefan Kink Kreativität in der Musik durch Spezifizierung 2005
Ulf Dreyer Agenten und Server - Sicher unter JADE(-S)? 2005
Jean-Sebastien Vautrin Data-Warehouses für Multimediadaten 2004
Pascal Wehrle Auf GRIDs aufgebaute Data-Warehouses 2004
Sebastian Kring Relaxationszeiten für Markovketten und eine Anwendung auf den Annealing-Algorithmus 2004
Sami Saadaoui Modellierungswerkzeug für die Personalisierung von Bank- und PKI Smartcards 2004
Juraj Polakovic Studie und Implementierung der dynamischen Rekonfigurierung im Komponentensystem THINK 2004
David Stauch Aspektorientiertes Programmieren und reaktive Systeme 2004
Daniel Haase Polynomiale Inversion der Distanzfunktion total reeller Zahlkörper 2004
Marc Hammond Virtual Knowledge Communities for Distributed Knowledge Management: A Multi-Agent-Based Approag using JADE 2004
Carlos Noguero Decision Making System for the Game Oware 2004
Amagoia Apaolaza Ibanez Skinning Techniques in Web Application 2003
Fabrice Matulic Analyse und Restaurierung von Dokumentbildern im Rahmen eines Dokumentbildarchivierungssystems 2003
Thilo Mie Sicherheitsallianzen mobiler Agenten 2003
Hanns Gregor Kombination verschiedener Paradigmen der Programmierung am Beispiel einer Dienstplaneinteilung 2003
M.Eugenia G.Valdecasas Vilanova Anonymous and Untraceable Electronic Ticketing with Smart Card for Public Transport 2002
Anja Kleber Feasability study and conception of an intelligent GSM cell phone silencer 2002
Zoltan Mann Dynamische Validierung von Zugriffen auf externe Informationsquellen in einer Mediatorumgebung 2001
Marcus Hausdorf Geometrisch-algebraische Vervollständigung allgemeiner Systeme von Differentialgleichungen 2000
Andreas Wachowski Access Control Management for Virtual Components 2000
Morio Taneda Semantik und Implementation einer Madiatorkomponente 1999
Pawel Wocjan Der Brill-Noether-Algorithmus - Konstruktion von geometrischen Goppa-Codes und absolute Faktorisierung 1999
Gregor Goessler Modélisation et Contrôles des Systèmes Multimédia 1998
Marie-Luise Schneider Anwendung eines semantischen Cache für die verteilte Informationssuche in Web-basierten Datenquellen 1998
Wendelin Bernhard Serwe Studie einer Semantik für reaktive funktional-logische Programmiersprachen 1998
Sebastien Jekutsch Entwurf und Implementierung eines generischen Anfrageübersetzers zur Integration heterogener Informationsquellen 1996
Silke Rickard Evaluation von Klassifikation 1995
Eckhard Pflügel Algorithmen zur formalen Lösung von homogenen linearen Differentialgleichungen 1995
Bernhard Garz Decodierungsalgorithmen für Reed-Solomon Codes 1995
Olivier Bruchier Entwicklung von Konsistenzüberprüfung in verteilten Wissensbasen und Realisierung in MANTRA 1995
Peter Kullmann Entwurf und Implementierung einer Expertensystemshell für annotierte Logik 1995
Clemens Ballarin Algorithmische Schritte in formalen Beweisen - Entwurf und Implementierung der Anbindung eines Computeralgebrasystems an einen Theorembeweiser 1994
Ly van Bui Parallele Algorithmen in der Computeralgebra 1994
Matthias Denecke Ein Lexikon auf Basis Neuronaler Netze zur Integration syntaktischen und semantischen Wissens 1994
Winfried Fakler Algorithmen zur symbolischen Lösung homogener linearer Differentialgleichungen 1994
Dirk Debertin Parallelisierung der Inferenz in verteilten wissensbasierten Systemen 1994
Dieter Bieg Implementierung und Bewertung eines erklärungsbasierten Lernverfahrens für mathematisches Bereichswissen 1994
Peter Habermehl Konzeption und Realisation eines Interpreters für eine logisch-funktionale Programmiersprache mit Ungleichungen 1993
Hans-Peter Weih Modellierung eines Beratungssystems mit Common KADS 1993
Thien Nghia Hoang Entwurf und Implementierung der Benutzeroberfläche eines hybriden Wissensrepräsentationssystems 1993
Francois Erasmy Formale Spezifikation und Werkzeugeinsatz bei der Programmpflege am Beispiel des LPG-Systems 1993
Timo Breidenstein Anwendung von genetischen Algorithmen für Wertpapierplanung 1993
Paul Lukowicz Anwendung von Computeralgebra auf Probleme Statistischer Physik Neuronaler Netz 1993
Meinrad Funke Spezifikation, Semantik und Typenbestimmung polymorpher Funktionen für Unified Algebras 1993
Marc Lobmeyer Entwurf und Implementierung einer auf vereinheitlichten Algebren basierten Wissensacquisitionskomponente für die Computeralgebra 1993
Martin Kopp Neue Dimensionen in zweidimensionaler Grafik 1993
Martin Kreidler Transformation einer algebraischen Spezifikation auf eine hybride Wissensbasis 1993
Carsten Schürmann Entwurf und Implementierung eines auf linearer Logik basierenden Theorembeweisers 1993
Christoph Zenger Gröbner-Basen für Differentialformen in AXIOM 1992
Joachim Schü Implementation des Cartan-Kuranishi-Theorems in AXIOM 1992