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 19
KASTEL Security Praktikum
Prof. Dr. Hartmut SchmeckKai-Bin Bao
Gunnar Hartung
Matthias Flittne
https://www.kastel.kit.edu/english/veranstaltungen_869.php
23.06.2021
KASTEL → Teaching → Certificate for Students → Events (German)
Praktikum Anwendungssicherheit
Prof. Dr. Jörn Müller-QuadeFelix Dörre
Jun.-Prof. Dr. Christian Wressnegger
Dr. Gunnar Hartung
Jeremias Mechler
https://www.kastel.kit.edu/english/veranstaltungen_1218.php
23.06.2021
KASTEL → Teaching → Certificate for Students → Events (German)
Courses
KASTEL Security Praktikum internship Prof. Dr. Hartmut SchmeckKai-Bin Bao
Gunnar Hartung
Matthias Flittne
WiSe 2015/2016
Seminar: Anwendung Formaler Verifikation Seminar
https://www.kastel.kit.edu/english/veranstaltungen.php
29.03.2022
KASTEL → Teaching → Certificate for Students → Events (German)
Cloud Computing
not yet been addressed within the legal discussions.The question arises how the liability and evidence situation of the cloud user can be adequately strengthened. Furthermore, evaluation of different cloud computing systems with regard to data protection law is need to
[…]
the MimoSecco Middleware.
Workshop Trusted Cloud 2013. Aug. 2013.
M. Huber, G. Hartung.
Side Channels in Secure Database Outsourcing on the Example of the MimoSecco Scheme.
Workshop Trusted Cloud
https://www.kastel.kit.edu/english/62.php
23.06.2021
KASTEL →
KASTEL Security Praktikum
Prof. Dr. Hartmut SchmeckProf. Dr. Jörn Müller-Quade
Prof. Dr. Martina Zitterbart
Bao, Hartung, Flittner,
Müller, Haas, Krempel,
Meier, Hufnagel
https://www.kastel.kit.edu/veranstaltungen_869.php
22.06.2021
KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen
Veranstaltungen
Praktikum Praktikum (P) Prof. Dr. Hartmut SchmeckProf. Dr. Jörn Müller-Quade
Prof. Dr. Martina Zitterbart
Bao, Hartung, Flittner,
Müller, Haas, Krempel,
Meier, Hufnagel WS 15/16
Praktikum
https://www.kastel.kit.edu/veranstaltungen.php
04.04.2022
KASTEL → Lehre → Zertifikat für Studierende → Veranstaltungen
Cloud Computing
the MimoSecco Middleware.Workshop Trusted Cloud 2013. Aug. 2013.
M. Huber, G. Hartung.
Side Channels in Secure Database Outsourcing on the Example of the MimoSecco Scheme.
Workshop Trusted Cloud
https://www.kastel.kit.edu/62.php
22.06.2021
Publikationsliste
Systems (ITSC), Bilbao, 24th-28th September 2023, 1896 – 1903, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ITSC57777.2023.10421975Systematic User Evaluation of a Second Device based cast-as-intended verifiability Approach
Hilt, T.; Berens, B.; Truderung, T.; Udovychenko, M.; Neumann, S.;
https://www.kastel.kit.edu/publikationen.php
22.06.2021
KASTEL → Publikationen
List of Publications
Systems (ITSC), Bilbao, 24th-28th September 2023, 1896 – 1903, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ITSC57777.2023.10421975Systematic User Evaluation of a Second Device based cast-as-intended verifiability Approach
Hilt, T.; Berens, B.; Truderung, T.; Udovychenko, M.; Neumann, S.;
https://www.kastel.kit.edu/english/publikationen.php
23.06.2021
KASTEL → Scientific Publications
Developing Secure Component-Based Software
our approach indicate,which parameters and return values of software interfaces may be known by which user roles,
how hardware and runtime environment influence the confidentiality of processed data,
https://www.kastel.kit.edu/english/187.php
23.06.2021
KASTEL →