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-4 von 4

/* */
/*
*/
.grau
{
background: #cccccc;
}table.ptabelle {
background-color: #E5E5E5;
margin-bottom: 15px;
width: 564px;
}table.ptabelle .foto {
padding: 5px;
vertical-align: top;
width:
https://www.kastel.kit.edu/english/31.php
05.02.2024

/* */
/*
*/
.grau
{
background: #cccccc;
}table.ptabelle {
background-color: #E5E5E5;
margin-bottom: 15px;
width: 564px;
}table.ptabelle .foto {
padding: 5px;
vertical-align: top;
width:
https://www.kastel.kit.edu/31.php
05.02.2024

Publikationsliste

– 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I. Ed.: F. Baldimtsi, 129 – 146, Springer Nature Switzerland. doi:10.1007/978-3-031-47754-6_8
Scalable and Precise Refinement Types for Imperative Languages
Lanzinger, F.; Bachmeier, J.;
[…]

Publikationsliste
2024
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
https://www.kastel.kit.edu/publikationen.php
22.06.2021
 KASTEL → Publikationen

List of Publications

– 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I. Ed.: F. Baldimtsi, 129 – 146, Springer Nature Switzerland. doi:10.1007/978-3-031-47754-6_8
Scalable and Precise Refinement Types for Imperative Languages
Lanzinger, F.; Bachmeier, J.;
[…]

List of Publications
2024
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
https://www.kastel.kit.edu/english/publikationen.php
23.06.2021
 KASTEL → Scientific Publications

Treffer: 1-4 von 4