QbC: Quantum Correctness by Construction
Peduri, A.; Schaefer, I.; Walter, M.
2025. Proceedings of the ACM on Programming Languages, 9 (OOPSLA1), 534–562.
Research at KASTEL SRL
Research at KASTEL Security Research Labs is distinguished by its broad scope. Privacy and reliability aspects are naturally part of IT security; basic and applied research complement each other, and a comprehensive approach to IT security needs to look not just at the technical system, but also at its social environment as well as its human aspects.
-
Fact 1
554 Publications from 2021 to 2024
-
Fact 2
99 Papers at 36 Top Conferences 2021 to 2024
-
Fact 3
48 Awards from 2021 to 2024
Our research covers a broad spectrum of cybersecurity. It combines the view of different disciplines in order to adress not only technical aspects, but also human factors and the legal framework.
Research Projects
Security for the Internet of Medical Things
Together with Wibu-Systems AG, KASTEL Security Research Labs is researching the project “Security for the Internet of Medical Things”, or “Sec4IoMT” for short. The aim is to find and exemplarily implement a solution approach for the long-term preservation of the security of Internet of Medical Things (IoMT) devices in critical infrastructures. When updating the security of individual components, the interoperability of the devices should be maintained.. At the same time, a security update must not lead to a loss of certification for the medical devices.
Research Projects
Secure Federated Machine Learning
Machine learning models require large amounts of data to be trained on, leaving little training data available in use cases with strong privacy requirements.The Secure Federated Machine Learning project of SAP and KASTEL Security Research Labs is investigating approaches for training a neural network on data from multiple parties without having to reveal their data to the other parties. These approaches can then be used in use cases with strong privacy requirements.
KASTEL Security Research Labs conduct interdisciplinary and application-oriented research. Therefore, we permanently maintain and expand numerous partnerships with industrial enterprises and research institutions. The resulting synergy effects flow into our research.
-
Fact 1
142 Academic Cooperations in 16 Countries
-
Fact 2
20 New Projects in 2023 and 2024
-
Fact 3
102 Cooperations with Companies
Cooperations and Exchanges
Propolis Privacy for Smart Cities
2021, the German-French cooperation PROPOLIS was launched. Prof. Thorsten Strufe from KASTEL Security Research Labs at KIT, together with SAP, the Urban Software Institute GmbH, Chemnitz, and EURECOM Frankreich, is analyzing AI based data protection for smart cities and citizens. The project will be concluded in 2024. Read more about PROPOLIS
Cooperations and Exchanges
SofDCar – Software-Defined Car
Since August 2021, a total of 13 companies and research institutions have been working in the publicly funded “Software-Defined Car” project (SofDCar for short). The experts from industry and science want to create standardized rules and processes together for the car of the future and its effective use of data. The project is publicly funded by the German Federal Ministry of Economic Affairs and Climate Action (BMWK). Read more about SofDCar
Publications
Fully Collusion Resistant Traceable Identity-Based Inner Product Functional Encryption
Dutta, S.; Pal, T.; Singh, A.; Mukhopadhyay, S.
2025. IACR Communications in Cryptology, 2 (1).
Requirements Traceability Link Recovery via Retrieval-Augmented Generation
Fuchß, D.; Keim, J.; Koziolek, A.; Hey, T.
2025. International Working Conference on Requirements Engineering (REFSQ 2025)
Towards LLM-powered consistency in model-based low-code platforms
Hagel, N.; Hili, N.; Bartel, A.; Koziolek, A.
2025. 22nd IEEE International Conference on Software Architecture (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)
Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation
Marx, N.; Jacob, F.; Hartenstein, H.
2025. PaPoC ’25: 12th Workshop on Principles and Practice of Consistency for Distributed Data, World Trade Center Rotterdam Netherlands, 30 March 2025- 3 April 2025, 15–21, Association for Computing Machinery (ACM).
Do Large Language Models Contain Software Architectural Knowledge? An Exploratory Case Study with GPT
Soliman, M.; Keim, J.
2025. 22nd IEEE International Conference on Software Architecture (ICSA 2025), Institute of Electrical and Electronics Engineers (IEEE)