Barkhausen Institut

Group Interview: Scalable Computing Hardware

The Scalable Computing Hardware research group designs secure and energy-efficient platform chips for connected devices. Using scalable multiprocessor systems with built-in security mechanisms, they reduce faults and risks from cyberattacks. Their research strengthens the trustworthiness of modern technologies – ranging from smartphones and smart home systems to vehicle systems. Go to interview

Group Interview: Wireless Connectivity and Sensing

The Wireless Connectivity and Sensing research group explores wireless systems that combine communication with environmental sensing. By advancing signal processing and hardware design, they create secure and energy-efficient technologies for the next generation. Their goal is to enable powerful, privacy-aware connected applications. Go to interview

Group Interview: RF Design Enablement

The RF Design Enablement Group develops radio frequency hardware for future communication and radar systems. Its research focuses on energy-efficient, reconfigurable platforms and Joint Communication and Sensing (JCAS), combining communication and sensing technologies. The goal is to enable safer mobility, more efficient networks, and innovative medical applications such as next-generation computer tomography systems. Go to interview

Group Interview: Composable Operating System

The Composable Operating Systems research group develops new approaches for secure and reliable digital systems, from sensors to the cloud infrastructures. By dividing systems into isolated components, they reduce complexity while simultaneously increasing trustworthiness. Their projects span hardware, cloud systems, and internet services, tackling key security challenges. Go to interview

Group Interview: Trustworthy Data Processing

The Trustworthy Data Processing research group develops secure and privacy-preserving solutions for the Internet of Things (IoT) and 6G systems. Using a holistic approach and technologies like Artificial Intelligence and Machine Learning, they enhance the protection of sensitive data. Their work improves the security of digital applications – from smart devices to medical systems – and builds trust in connected technologies. Go to interview

Group Interview: Verified System Design Automation

The Verified System Design Automation research group uses formal verification to mathematically validate hardware and software systems. They frequently employ theorem provers, which are tools for creating and checking mathematical proofs. Their goal is to develop trustworthy systems with strong guarantees. A key focus of their work is automating verification processes to make digital technologies safer. Go to interview

Group Interview: Secure Digital Systems

The Secure Digital Systems research group develops approaches to secure modern digital technologies against emerging threats. By combining hardware security, cryptography, and Artificial Intelligence (AI), they create robust systems that withstand side-channel attacks as well as quantum and AI-driven risks. Their research enables secure communication, trustworthy devices, and resilient infrastructures – from smartphones and IoT devices to radio and cloud systems. Go to interview