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

Kontakt

Am Fasanengarten 5

Geb. 50.34

D-76131 Karlsruhe

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

E-Mail: crypto-info(at)iti.kit.edu

Aktuelles

Molekülabfolge als Passwort

Jeder hat sie in mehreren Ausführungen und in unterschiedlichen Sicherheitsstufen: Passwörter. Sie gelten als Schutz wichtiger Daten und sind aus unserem Leben nicht wegzudenken. Wurde das Passwort jedoch gestohlen, erraten oder errechnet liegen diese vermeintlich geschützten Daten offen. KIT- und ITI-Mitarbeiter  arbeiten derzeit an einer neuen Idee: der Verschlüsselung durch organische Moleküle. In der Abfolge der einzelnen Bausteine soll das Passwort als Binärcode verschlüsselt werden.

21. E-Voting Kolloquium in Karlsruhe

Am 9.-10.April 2018 findet am Karlsruher Institut für Technologie das 21. E-Voting Kolloquium statt. Die seit 2006 europaweit stattfindende Tagung thematisiert verschiedene Aspekte des E-Voting wie rechtliche Hürden, Identitätsmanagement, technische Aspekte und die Verifizierung der Wahl. Die Veranstaltung wird von Prof. Dr. Bernhard Beckert, Prof. Dr. Jörn Müller-Quade und Prof. Dr. Melanie Volkamer sowie Dr. Oskana Kulyk mitorganisiert.

Die Arbeit eines Kryptologen

Am 02.Februar wurde ITI-Mitarbeiter Andy Rupp in die Podcast-Reihe „Resonator“  ,einen Audio-Podcast der Helmholtz-Gemeinschaft Deutscher Forschungszentren aufgenommen. Die Podcast-Reihe befasst sich mit Forscherinnen, Forschern und deren Themengebieten. Andy Rupp gibt Aufschluss über die Arbeit eines Theoretikers an Systemen wie Bonuskarten oder Mautsystemen, die die Privatsphäre der User schützen können. Zum Podcast .

Lernende Systeme - Die Plattform für künstliche Intelligenz

KIT-Präsident Holger Hanselka und ITI-Professor Jörn Müller-Quade sind an der BMBF-initiierten Plattform Lernende System beteiligt. Die Plattform soll dazu beitragen, künstliche Intelligenz im Sinne von Mensch und Gesellschaft zu gestalten und so die Lebensqualität zu verbessern. Während der KIT Präsident im Lenkungskreis wirkt, ist Herr Müller-Quade Leiter der Arbeitsgruppe 3, die Fragen zu den Gebieten Sicherheit, Zuverlässigkeit und dem Umgang mit Privatheit thematisiert. Weitere Infos zur Plattform  und zur Arbeitsgruppe .

Datenschleuder Smartphone

Das Smartphone sammelt Daten- immer und überall. Doch was genau das Gerät alles aufzeichnet und wer alles an diese Daten kommen kann ist den meisten nicht bewusst. In der Landesschau Baden-Württemberg erschien am 29.01.2018 ein Beitrag zu diesem Thema , der auch ITI-Mitarbeiter Professor Jörn Müller-Quade als Experten zu diesem Thema befragt.

Link zum Beitrag

Doctoral students (since 1992)

Author Titel Year
Marvin Schneider <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss_Schneider.pdf _blank external-link-new-window "Opens external link in new window">Logical Fibering Based Web Access Management</link> 2007
Dong Huang <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Diss_Dong_Huang.pdf- external-link-new-window "Opens external link in new window">A Security Gateway for Web Service Protocols</link> 2007
Yi Yang <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss-Yang.pdf - external-link-new-window "Opens external link in new window">A Framework for Decision Support Systems Adapted to Uncertain Knowledge</link> 2007
Regine Endsuleit <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss_endsuleit.pdf - external-link-new-window "Opens external link in new window">Robust and private computations of mobile agent alliances</link> 2007
Robert Michael Zeier <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Zeier_Robert.pdf - external-link-new-window "Opens external link in new window">Lie-theoretischer Zugang zur Erzeugung unitärer Transformationen auf Quantenrechnern</link> 2006
Anusch Daemi-Ahwazi <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Dissertation.pdf- external-link-new-window "Opens external link in new window">Entropiebasierte Bewertung von Ontologien</link> 2005
Björn Grohmann <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss-grohmann_final.pdf - external-link-new-window "Opens external link in new window"> Zur Arithmetik in abelschen Zahlkörpern</link> 2005
Peter Kullmann <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Diss-Kullmann.pdf - external-link-new-window "Opens external link in new window">Wissensrepräsentation und Anfragebearbeitung in einer logikbasierten Mediatorumgebung</link> 2001
Christoph Zenger <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Zenger-thesis.pdf - external-link-new-window "Opens external link in new window">Indizierte Typen</link> 1998
Fakler, Winfried Algebraische Algorithmen zur Lösung von linearen Differentialgleichungen 1998
Karsten Homann <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/KH-diss.pdf - external-link-new-window "Opens external link in new window">Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme</link> 1996
Joachim Schü Updates and Query-Processing in a Mediator Architecture 1995
Werner Markus Seiler <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss.ps - external-link-new-window "Opens external link in new window">Analysis and Application of the Formal Theory of Partial Differential Equations</link> 1994
Indra Adiono Tjandra <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Diss-Tjandra.pdf - external-link-new-window "Opens external link in new window"> Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra</link> 1993
Norbert Brändli <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/PhD-Braendli.pdf - external-link-new-window "Opens external link in new window">CAD-Datenaustausch - ein formaler Ansatz</link> 1993
Felix Ulmer Entwurf von Algorithmen zur Berechnung Liouvillescher Lösungen von linearen gewöhnlichen Differentialgleichungen 1991
Guilherme Bittencourt <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/Diss-Bittencourt.pdf - external-link-new-window "Opens external link in new window">An Architecture for Hybrid Knowledge Representation</link> 1990
Hubert Comon <link http://www.iks.kit.edu/fileadmin/User/calmet/dissertationen/diss-Comon.pdf - external-link-new-window "Opens external link in new window">Unification et Disunification. Théorie et Applications</link> 1988