Home | Impressum | Sitemap | KIT

Kontakt

Institut für Theoretische Informatik

Arbeitsgruppe Kryptographie und Sicherheit

Carmen Manietta

Am Fasanengarten 5

Geb. 50.34

D-76131 Karlsruhe

Tel.: + 49 721 608-44213

Fax: + 49 721 608-55022

E-Mail: crypto-infoYrk0∂iti kit edu

 

Aktuelles


 

SWR2 Wissen - Kryptographie


Am 29.03.17 gaben KASTEL-PI Prof. Jörn Müller-Quade sowie Kastel-Mitarbeiter Dr. Willi Geiselmann im Rahmen der SWR2-Reihe "Wissen" Auskunft zu klassischen und modernen Verschlüsselungsverfahren und deren Anwendungsfelder. Link zur SWR2-Sendung


PriBonu: Privatsphäre-schützende Bonus- und Bezahlsysteme


Der Deutschlandfunk und ZDF-Heute berichteten am 18.03.17 bzw. am 25.03.17 über das von KASTEL-Gruppenleiter Dr. Andy Rupp geleitete Projekt zur Entwicklung privatsphäre-schützender Bonus- und Bezahlsysteme. In diesem Projekt soll untersucht werden wie, unter Verzicht auf personenbezogene Rohdaten, Ziele wie Kundenbindung, personalisierte Werbung und Marktforschung mit Hilfe von beweisbar-sicheren kryptographischen Protokollen realisiert werden können. Erste Resultate wurden auf dem letztjährigen Privacy Enhancing Technologies Symposium veröffentlicht.


KASTEL-Mitarbeiter hält eingeladenen Vortrag auf Forum „on International Privacy Law“


Vom 22.03 bis 24.03 fand das Forum on International Privacy Law in Frankfurt statt. Dr.-Ing. Erik Krempel legte mit seinem Vortrag vor den versammelten Rechtswissenschaftlern und Mitarbeitern von Datenschutzaufsichtsbehörden den Grundstein für die weitere Diskussion rund um das Thema Datenschutz und Machine learning.
Link zum Forum


KASTEL-Mitarbeiter veröffentlicht in der Zeitschrift für das gesamte Recht der Energiewirtschaft (EnWZ)


KASTEL-Mitarbeiter Dr. Sebastian Bretthauer hat einen Beitrag zum Thema "Smart Meter im Spannungsfeld zwischen Europäischer Datenschutzgrundverordnung und Messstellenbetriebsgesetz" in der aktuellen Ausgabe der EnWZ (EnWZ Heft 3/2017, 56 ff.) veröffentlicht. Der Artikel befasst sich mit den maßgeblich anzuwendenden Rechtsnormen bei der Nutzung von Smart Metern, die in ein umspannendes Kommunikationsnetz eingebunden sind.
Link zur Ausgabe


Cyber-Lernlabor für industrielle IT-Sicherheit in Lemgo eröffnet


Prof. Jürgen Beyerer eröffnete am 16.03.17 in Lemgo das sechste Lernlabor für Cybersicherheit der Fraunhofer-Gesellschaft. In diesem wird, in Kooperation mit der Hochschule Ostwestfalen-Lippe an Verfahren für die Absicherung von Industrie 4.0-Anlagen geforscht. Neben Fraunhofer-Präsident Frof. Reimund Neugebauer sprach unter anderem auch Staatssekretär Thomas Rachel bei der Veranstaltung.
Link zum Artikel


KASTEL-Mitarbeiter hält einen Vortrag auf der CRISP-Abschlusskonferenz in Brüssel.


Am 16.03.2017 fasste die Abschlusskonferenz des EU-Projekts CRISP die erreichten Arbeiten zur Zertifizierung von Sicherheitstechnik zusammen. KASTEL-Mitarbeiter Dr.-Ing. Erik Krempel hielt als eingeladener Redner einen Vortrag dazu, wie die intelligente Videoüberwachung einerseits ein hohes Risiko für die Privatsphäre darstellt, gleichzeitig aber zur Steigerung der Privatsphäre in videoüberwachten Bereichen beitragen kann.
Link zur Agenda


Nationale Konferenz IT-Sicherheitsforschung 2017 im Februar


Vom 14. bis 16. Februar 2017 findet im Cafe Moskau in Berlin die Nationale Konferenz IT-Sicherheitsforschung 2017 statt. Dort diskutieren Sicherheitsexperten die wichtigsten Themen der IT-Sicherheitsfoschung. Eine begleitende Ausstellung informiert darüber, wie IT-Sicherheit unseren Alltag betrifft. Das Kompetenzzentrum für angewandte Sicherheitstechnologie KASTEL wird mit einem Stand vor Ort sein.
Link zur Veranstaltung


Fraunhofer Morgenradar zum Thema „Sicherheit und Resilienz“


Am 15.02.2017 fand in Berlin das sogenannte Fraunhofer-Morgenradar zum Thema „Sicherheit und Resilienz“ statt. Prof. Jürgen Beyerer (KASTEL) und Prof. Stefan Hiermeier (Uni Freiburg und Fraunhofer EMI) führten die Veranstaltung gemeinsam durch. Zu den Besuchern zählten Bundestagsabgeordnete, deren wissenschaftliche Mitarbeiter sowie Vertreter verschiedener Bundesministerien.
Link zur Pressemitteilung


1st ForDigital Blockchain Workshop in Karlsruhe


Am 09. und 10.02. fand in Karlsruhe der erste ForDigital Blockchain Workshop statt. Dieser wurde maßgeblich von den Professoren Martina Zitterbart und Hannes Hartenstein (KASTEL) sowie Prof. Christof Weinhardt (KIT IISM) und Prof. Frederik Armknecht (Universität Mannheim) organisiert. An dem Workshop nahmen über 25 Vertreter aus Forschung und Praxis teil.
Link zur News


KASTEL-PI Beyerer eröffnete Cyber-Lernlabor.


Am 11.01.2017 eröffnete KASTEL-PI Prof. Jürgen Beyerer in Görlitz ein Cyber-Lernlabor für die IT-Sicherheit kritischer Infrastrukturen und Energieverteilsysteme. Das Labor ist eine vom BMBF geförderte Kooperation zwischen dem Fraunhofer-IOSB in Karlsruhe und Ilmenau mit der Hochschule Zittau/Görlitz. Bei der Eröffnung waren die Bundesforschungsministerium Frau Prof. Johanna Wanka, der Ministerpräsident des Landes Sachsen Herrn Stanislaw Tillich und der Präsident der Fraunhofer-Gesellschaft Herr Prof. Reimund Neugebauer zugegen und würdigten das Cyber-Lernlabor als zukunftsweisenden Ansatz.
Link zur Pressemitteilung


Alle Nachrichten

Gregor Snelting studied Mathematics and Informatics at the Technical University of Darmstadt. At age 27, he pubslished his PhD thesis on generic type inference in language-based editors. At age 31, he became an associate professor for software technology at the Technical University of Braunschweig. Since 2008 he leads the Chair of Programming Paradigms at KIT.

Snelting's background is in programing languages, compilers, program analysis and software engineering. He and his students have worked extensively on precise algorithms for program dependence graphs and program slicicing; their machine-checked verification; and their application for software security analysis.

 

The programming paradigms group investigates compilation, analysis and application of various programming paradigms, with focus on object oriented and concurrent languages. Within the Sonderforschungsbereich InvasIC, we develop a language and compiler for invasive parallel computing, based on IBMs language X10 and our compiler framework FIRM.
In the scope of the DFG Priority Program RS3, we develop the software security analysis tool Joana and Information Flow Control for mobile components. Based on precise program dependence graphs and sophisticated algorithms, Joana statically finds illicit information flow in full Java programs containing an arbitrary number of threads, while minimizing program annotations and false alarms. We aim for empirical validation and solid theoretical foundations of our results. In the scope of the Quis-Custodiet project, we deliver machine checked correctness proofs for our security analyses.