AKTUELLE NEWS UND ANKÜNDIGUNGEN
Das Projekt RAINCOAT II, das von der Deutschen Forschungsgemeinschaft (DFG) gefördert wird und dem RAINCOAT-Projekt nachfolgt, ist offiziell bewilligt worden. Das Projekt wird 2024 starten und bis 2027 laufen.
Ein Workshop rund um die Themen Algorithmik, Komplexität und Logik in der Informatik.
Vom 19.09.-20.09.2023 findet an der Fakultät für Informatik der 85. Theorietag statt. Organisiert wird der gemeinsame Workshop der GI-Fachgruppen Algorithmen, Komplexität und Logik in der Informatik vom Lehrstuhl Logik und Formale Verifikation unter Leitung von Professor Thomas Zeume.
Das Paper "SCARF: A Low-Latency Block Cipher for Secure Cache-Randomization" von Federico Canale, Tim Güneysu, Gregor Leander, Jan Philipp Thoma, Yosuke Todo, und Rei Ueno wurde für die USENIX'23 akzeptiert.