Seite nicht gefunden / Page not found
Die angeforderte Seite wurde nicht gefunden. Es wird eine Suchanfrage für Sie gestartet.
The requested page could not be found. A search will be started for you.
Sie suchen nur auf www.kastel.kit.edu. ➔KIT-weit suchen
Treffer: 1-10 von 14
KASTEL certificate for students
gap in its portfolio with the KASTEL certificate, but also enables students to complete a general, wide-ranging computer science study program and at the same time obtain evidence of specialization in the IT security field. The certificate is therefore comparable to[…]
Documents
Complete description text.
A complete overview of the conditions for the certificate can be found in this document.
Download (PDF)
Tracer
The tracer mentioned in the certificate description can be downloaded here.
Download (PDF)
https://www.kastel.kit.edu/english/zertifikat.php
23.06.2021
KASTEL → Teaching → Certificate for Students
Proving Comprehensive System Security
tool that allows partly automated security proofs for Java source code. JOANA analyses Java byte code for information-flow properties using program dependency graphs.To ensure that during system development the specification of a system does not drift away from its implementation,
https://www.kastel.kit.edu/english/188.php
23.06.2021
KASTEL →
Provable Security for Complex IT Systems
and-mechanisms.
The research groups involved are the Institute
for Theoretical Computer Science (ITI) and the Institute
for Program Structures and Data Organization (IPD) .
Composable Security
Absolute security is difficult to prove,
since only those
https://www.kastel.kit.edu/english/methodik.php
23.06.2021
KASTEL →
Nachweis umfassender Systemsicherheit
Information Flow in Object-Oriented SoftwareLOPSTR 2013: 23rd International Symposium on Logic-Based Program Synthesis and Transformation
Simon Greiner, Pascal Birnstill, Erik Krempel, Bernhard
Beckert,
https://www.kastel.kit.edu/188.php
22.06.2021
Founder Incubator
setting up a start-up office as a contact point for those interested in setting up a business,offering an accelerator program for the further development of the idea and
providing jobs at the cooperation partner CyberForum for the targeted implementation of
https://www.kastel.kit.edu/english/startupsecure.php
23.06.2021
KASTEL-Zertifikat für Studierende
Vollständiger BeschreibungstextEine vollständige Übersicht über die Rahmenbedingungen des Zertifikats sind in diesem Dokument zu finden.
Download (PDF)
Laufzettel
Der in der Zertifikatsbeschreibung erwähnte Laufzettel kann hier heruntergeladen werden.
Download (PDF)
Veranstaltungen
Eine
https://www.kastel.kit.edu/zertifikat.php
22.06.2021
KASTEL → Lehre → Zertifikat für Studierende
Privacy Policy
Privacy PolicyInformation on the Collection of Personal Data
The operators of these websites take the protection of your personal data very seriously. Personal data are all data that can be related to you personally, such as name, address, email addresses, and
https://www.kastel.kit.edu/english/datenschutz.php
23.06.2021
KASTEL →
Masterprofil IT-Sicherheit
Masterprofil IT-SicherheitNeben dem KASTEL-Zertifikat für Studierende bietet das KIT seit dem Wintersemester 2017/2018 im Rahmen der neu eingeführten Studienprofile auch ein Studienprofil Sicherheit an.
:
Die fortschreitende Digitalisierung und Vernetzung verändert kontinuierlich unsere Lebensbereiche und beeinflusst mittlerweile einen erheblichen Teil unseres täglichen
https://www.kastel.kit.edu/english/1136.php
23.06.2021
KASTEL → Teaching → Masterprofil IT-Sicherheit
Publikationsliste
Publikationsliste2024
Buchaufsätze Panini — Anonymous Anycast and an Instantiation Coijanovic, C.; Weis, C.; Strufe, T.
2024. Computer Security – ESORICS 2023 – 28th European Symposium on Research in Computer Security : The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part II. Ed.:
https://www.kastel.kit.edu/publikationen.php
22.06.2021
KASTEL → Publikationen
List of Publications
List of Publications2024
PhD Theses Context-based Access Control and Attack Modelling and Analysis . PhD dissertation
Walter, M.
2024, January 4. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000166069 Journal Articles Reinforcing privacy in cloud computing via adaptively secure non-zero inner product encryption and anonymous
https://www.kastel.kit.edu/english/publikationen.php
23.06.2021
KASTEL → Scientific Publications