| Partner | Research Topic |
|---|---|
Carnegie Mellon University |
Trustworthy Anomaly Detection for Industrial Control Systems |
Convide (CRC 1608) at KIT |
Consistency in the View-Based Development of Cyber-Physical Systems |
EPFL |
Differential Fuzzing |
Georgia Institute of Technology |
Sensor Reconfiguration Attacks for Stealthy UAV Manipulation |
INRIA – National Institute for Research in Digital Science and Technology |
E-Voting |
Institute of Science Tokyo, University of Malaga |
Trustworthy Self-adapting Systems |
Politecnico di Milano, University of Bergamo |
Human-Machine Interaction, Intersymbolic AI and Explainability |
Singapore University of Technology and Design |
Cyber Secure Critical Infrastructure: Joint Lab Experiments KASTEL Security Lab Energy & iTrust |
Carnegie Mellon University |
Operationalizing ‘Risk’ as a Legal and Computational Concept under the EU AI Act |
TU Wien |
LLMs in IT Security Research, XAI in Security |
University of Waterloo |
Scalable Verification of Imperative Programs |
| Partner | Research Topic |
|---|---|
ABB AG |
Design Methodologies for Cloud-native Systems in the Context of Industrial Automation |
ABB Corporate Research Center |
Attack Detection in Heterogenous Systems |
BASF SE |
ChemCrypt – Suitability of a Specific Approach for a Physical Proof of Work |
IBM Deutschland Research & Development GmbH |
Hardware-based Cryptography |
IBM Research Zurich |
Group Verifiable Random Functions |
Infineon Technologies AG, |
Sec4IoMT – Security for the Internet of Medical Things |
Mercedes-Benz AG |
VINKRYPTOR – Pseudonymization of Vehicle Identification Numbers |
Pionix GmbH |
Identification of Security Requirements and Assumptions for the “EVerest” Software |
S.A.F.E. – Association for the Promotion of and Research and Consumer Protection in the Field of Electromobility |
IIP 2.0 – Certification of Privacy-Enhancing Technologies |
SAP SE |
Cryptographic Enclave |
| Partner | Research Topic |
|---|---|
Digital Governance Standards Institute (DGSI), Canada |
CAN/DGSI 111-1: Online Electoral Voting – Part 1: Implementation of Online Voting in Canadian Municipal Elections |
Federal Government Commissioner for Information Security (BfIT) |
Scientific Working Group of the National Cybersecurity Council |
German Bundestag, Committee on Education, Research, and Technology Assessment |
E-Voting – Alternative Voting Formats and Their Security Measures |
National Institute for Standards and Technology (NIST), USA |
Post-Quantum Cryptography Standardization |
| Partner | Research Topic |
|---|---|
DKFZ German Cancer Research Center |
SECAIMED – Secure and Compliant AI for Medical Data |
Deutsches Elektronen-Synchrotron (DESY) Helmholtz-Zentrum Berlin für Materialien und Energie (HZB) Helmholtz-Zentrum Dresden – Rossendorf (HZDR) |
ROCK-IT – remote, operando controlled, knowledge-driven, IT-based |
CISPA Helmholtz Center for Information Security |
LLMs in IT Security Research, XAI in Security |
Forschungszentrum Jülich Helmholtz-Zentrum hereon |
Joint Lab: Explainable AI based Autonomous Laboratory Control for Health Tech Applications (Health-X) |
CISPA Helmholtz Center for Information Security |
Everlasting Security for Quantum Cryptographic Protocols for Encrypted Computing |