In unserer hochgradig vernetzten Welt sind Graphenprobleme der algorithmische Kern vieler rechnerischer Problemstellungen.
Ein Schwerpunkt dieses Forschungsbereichs ist die Erforschung und die Nutzung der äußersten Grenzen der algorithmischen Techniken zur Lösung schwieriger Rechenprobleme, insbesondere auf Graphen. Von der Weiterentwicklung der theoretischen Grundlagen in diesem Bereich, werden wir in der Praxis um ein Vielfaches profitieren. Andererseits bildet die Komplexität bestimmter Rechenprobleme auch die Grundlage der Kryptographie, wie wir sie heute kennen.
SP
45th IEEE Symposium on Security and Privacy45th IEEE Symposium on Security and Privacy
CCS
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS)ACM SIGSAC Conference on Computer and Communications Security (CCS)
ATVA
ATVA 2023 - International Symposium on Automated Technology for Verification and AnalysisATVA 2023