Secure Processor Design Professors and Supervisors in Germany

Andrew MyersView profile

Professor

Bundeswehr University MunichGermany

Andrew Myers is a Professor in the Department of Computer Science at Cornell University, specializing in programming languages, computer security, and distributed systems. He serves as the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS) and has chaired major conferences including ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009. Myers' research focuses on the intersection of programming languages and security, particularly in developing language-based approaches to ensure security properties in distributed systems. His pioneering work in information flow control has established foundational techniques for tracking and controlling how sensitive information propagates through programs. He has made significant contributions to secure compilation, type systems that enforce security policies, and programming models for geographically distributed applications where consistency and security are critical concerns. Analysis of Myers' publication record reveals a consistent research trajectory centered on using programming language techniques to address security challenges. His early work established fundamental approaches to information flow security, which evolved into practical systems like Jif (Java information flow) and more recently Viaduct for secure distributed programming. Recent publications show increasing focus on secure distributed programming, information flow control in complex systems, and type systems that enable secure concurrency without sacrificing performance. ACM Fellow POPL'99 Best Paper Award SOSP'01 Best Paper Award SOSP'07 Best Paper Award CIDR'13 Best Paper Award PLDI'13 Best Paper Award PLDI'15 Best Paper Award Through the Programming Languages Mentoring Workshop (PLMW) at major conferences including POPL and PLDI, Myers has been actively involved in mentoring the next generation of programming languages researchers. His service as Editor-in-Chief of TOPLAS demonstrates his leadership in the field, overseeing the publication of cutting-edge research in programming languages and systems. While specific grant information isn't detailed in the provided text, his sustained research output and leadership roles suggest significant external funding support over his career. Though specific lab affiliations aren't mentioned in the provided text, Myers' research has clearly involved collaboration with numerous students and colleagues across multiple institutions. His work on systems like Viaduct and Jif suggests the leadership of research teams focused on building practical implementations of language-based security techniques. His active participation in conference organization and program committees indicates strong connections with the broader programming languages and security research communities.

Official University Profile

Clark BarrettView profile

Professor

Max Planck Institute for Software SystemsGermany

Clark Barrett is a Professor in the Department of Computer Science at Stanford University, where he conducts research in formal methods, automated reasoning, and verification. He is affiliated with several research centers including the Stanford Center for Automated Reasoning, Stanford Center for AI Safety, Stanford Agile Hardware Project, and Stanford Center for Blockchain Research. His research focuses on developing formal methods and tools for verifying complex systems, with particular emphasis on satisfiability modulo theories (SMT), verification of neural networks, hardware design verification, and security. His work bridges theoretical foundations with practical applications across multiple domains. Over the past decade, Barrett's research has evolved from foundational work in SMT solving to increasingly diverse applications including neural network verification, hardware verification, and AI safety. His recent publications demonstrate a strong focus on practical verification techniques for real-world systems, particularly in the areas of hardware design, neural networks, and programming languages. The trend shows an expansion from core verification techniques to broader applications in AI safety and secure systems design. 2021 CAV (Computer Aided Verification) Award Barrett leads several major research initiatives and collaborates extensively with industry partners. His work on the Marabou neural network verification framework, SMT-LIB standard, and Symbolic QED verification methodology have had significant impact in both academic and industrial settings. He has supervised numerous PhD students and postdoctoral researchers who have gone on to successful careers in academia and industry. He is a key member of the Stanford Center for Automated Reasoning, which develops foundational technologies for automated reasoning, and the Stanford Center for AI Safety, where he focuses on formal methods for ensuring the safety and reliability of AI systems. His work on the Stanford Agile Hardware Project aims to revolutionize hardware design through formal methods and verification techniques.

Official University Profile

Michèle FinckView profile

Professor

Max Planck Institute for Innovation and CompetitionGermany

Michèle Finck is Professor of Law and Artificial Intelligence at the University of Tübingen, Germany, and co-director of the CSZ Institute for Artificial Intelligence and Law. She is a member of the Cluster of Excellence “Machine Learning: New Perspectives for Science” and represents Tübingen at the CIVIS Hub “Digital and Technological Transformation”. Research Focus: Regulation of artificial intelligence EU data law and GDPR Data intermediaries and the Data Governance Act Explainability of AI systems Access to data for environmental purposes Automation of public administration Her recent publications (2021-2024) chart a trajectory from foundational questions of data protection and AI governance to concrete regulatory challenges posed by the EU AI Act and the Data Governance Act, reflecting a commitment to interdisciplinary and policy-oriented legal scholarship. Service & Expert Advice: Member, Council of Europe ad hoc Committee on Artificial Intelligence Advisor to the European Commission and European Parliament on digitalisation issues Professor Finck has previously held posts at the University of Oxford, the London School of Economics, the Max Planck Institute for Innovation and Competition, and has been a Visiting Professor at LUISS University and a Visiting Fellow at University College London.

Official University Profile

Anh Vu DoanView profile

Lecturer

Technical University of MunichGermany

Dr. Ir. Anh Vu Doan is a Lecturer at the Technical University of Munich (TUM) under the Chair of Integrated Systems and a Senior Project Leader at Infineon in Neubiberg, Germany. With a Belgian-Vietnamese background and prior residence in Japan, he has held academic roles including postdoctoral fellowships at Keio University and TUM, as well as teaching assistant and stand-in lecturer positions at Université libre de Bruxelles (ULB) and IÉSEG School of Management. Research Interests: Embedded systems design Combinatorial optimization Problem modeling and decision aiding Approximate computing and 3D-stacking memory Machine learning reliability and safety Network-on-Chip (NoC) optimization Recent Publications focus on neuromorphic systems, power optimization for multicore processors, adversarial attacks in ML, and multi-objective design strategies using genetic algorithms. His work bridges hardware-software co-design and sustainable mobility decision frameworks. Scientific Awards: Erasmus-Mundus Grant (EASED program) JST/CREST Research Program Education: MSc in Electrical Engineering (ULB, 2009) PhD in Engineering Sciences (ULB, 2015)

Official University Profile

Jiang HuView profile

Professor

Technical University of MunichGermany

**Jiang Hu** is a Full Professor of Electrical and Computer Engineering at Texas A&M University, holding a Hans Fischer Senior Fellowship at the Technical University of Munich (TUM-IAS). He earned his B.S. in Optical Engineering from Zhejiang University (1990), M.S. in Physics from the University of Minnesota (1997), and Ph.D. in Electrical Engineering (2001). Before joining Texas A&M in 2002, he worked at IBM Microelectronics. His research focuses on Electronic Design Automation (EDA), VLSI physical design, and hardware security, with notable contributions to machine learning-driven CAD tools and approximate computing architectures. **Education**: B.S., Optical Engineering, Zhejiang University (1990) M.S., Physics, University of Minnesota (1997) Ph.D., Electrical Engineering, University of Minnesota (2001) **Research Interests**: Jiang Hu's work bridges EDA and computer architecture, emphasizing optimization of large-scale computing systems. His projects include automated power modeling frameworks (e.g., APOLLO), neural network-driven placement algorithms, and security-enhanced dataflow architectures. He also explores plasmonic materials and perovskite solar cells through interdisciplinary collaborations. **Awards**: IEEE Fellow (2012) Alexander von Humboldt Research Fellowship (2011) Multiple best-paper awards at IEEE/ACM conferences (2003–2021) **Grants & Leadership**: He served as Technical Program Chair for ACM International Symposium on Physical Design (2011–2012) and co-chaired the ACM/IEEE Workshop on Machine Learning for CAD (2023). His research has led to 10 patents and supervision of 24 Ph.D. students. **Labs & Teams**: His group collaborates with TUM-IAS on projects like *A New and Scalable Methodology for Fast Machine Learning Accelerator Design*, advancing EDA tools for next-generation hardware systems.

Official University Profile

Gilles BartheView profile

Research Professor

Max Planck Institute for Security and PrivacyGermany

Gilles Barthe is a scientific director at the Max Planck Institute for Security and Privacy in Bochum, Germany, and a part-time research professor at the IMDEA Software Institute in Madrid, Spain. His research focuses on programming languages, program verification, cryptography, privacy, and mathematical logic, with an emphasis on applying relational verification to cryptographic systems. He leads the Foundations of Security and Privacy Group, developing techniques to ensure cryptographic software is secure against timing and side-channel attacks, and verifies implementations of post-quantum algorithms like Kyber. Barthe has pioneered tools such as EasyCrypt for formal proofs, and contributed to standards like AWS Key Management Service verification. His work bridges theory (e.g., quantum verification) and practice (e.g., compiler optimization for constant-time code). Education: Ph.D. in 1993 from University of Manchester, followed by roles at INRIA, IMDEA, and others. Research Interests: Secure compilation, cryptographic protocol verification, differential privacy, and quantum programming semantics. Recent articles explore secure compilation against Spectre variants, quantum relational logics, and formal verification of lattice-based cryptography. He has advised over 20 PhD/Master’s students, many contributing to cryptographic verification frameworks. Barthe’s teams collaborate on high-assurance implementations, masking techniques, and mitigating modern microarchitecture threats. His lab’s work includes PanCast for epidemic risk mitigation and certified cryptographic libraries.

Official University Profile

Alessandro BiondiView profile

Associate Professor

Max Planck Institute for Software SystemsGermany

Alessandro Biondi is an Associate Professor at Scuola Superiore Sant'Anna in Pisa, Italy, affiliated with the Real-Time Systems Laboratory and the Department of Excellence in Robotics & AI. His research focuses on real-time and embedded systems, cyber-physical systems, and security for critical systems. Biondi's work spans real-time operating systems, virtualization, schedulability analysis, safe machine learning for CPS, and synchronization protocols. He collaborates extensively with industry partners in automotive, railway, avionics, and drone domains, working on projects involving autonomous driving software, safety-critical systems, and multi-domain platforms. He has received several prestigious awards including the IEEE TCCPS Early Career Award and ACM SIGBED Early Career Award. Biondi serves as Associate Editor for several journals including IEEE Transactions on Emerging Topics in Computing and Springer Real-Time Systems.

Official University Profile

Yong ChenView profile

Professor

University of TrierGermany

Yong Chen is a full Professor at the University of Macau within the State Key Laboratory of Analog and Mixed-Signal . He received his PhD in 2010 from the Chinese Academy of Sciences, Institute of Microelectronics . Prior to his current role, he held appointments at Nanyang Technological University (2010-2013) and Tsinghua University (2010). His research spans analog, mixed-signal, RF and mm-wave integrated circuits with emphasis on data converters, phase-locked loops, energy-harvesting systems, computing-in-memory accelerators, and silicon-photonics interfaces . He has consistently published in premier venues such as ISSCC, JSSC, TCAS-I/II, TVLSI , and CICC , demonstrating expertise from device-level circuits to system-level architectures. Recent work (2023-2025) showcases advances in: Ultra-high-speed DACs and ADCs (>16 GS/s) with record SFDR and FoM Computing-in-Memory processors achieving 258 TOPS/W for AI inference Energy-harvesting rectifiers with >22 dB dynamic range and >47 % peak PCE mm-wave/THz CMOS circuits for imaging and 5G/6G communications Ring-oscillator and sampling PLLs with sub-50 fs jitter and He serves on technical program committees and as guest editor for flagship journals, and collaborates extensively with leading groups worldwide, including those at Texas Tech University, Huazhong University of Science and Technology, and Nanjing University, among others.

Official University Profile

Vyacheslav S. KharchenkoView profile

Researcher

University of TrierGermany

Vyacheslav S. Kharchenko is a researcher affiliated with the National Aerospace University in Kharkiv, Ukraine, specializing in cybersecurity, artificial intelligence, and dependable computing. His work focuses on safety and security assessment of UAVs, IoT systems, and programmable systems, with a strong emphasis on Markov models, penetration testing, and hardware-based security solutions. Recent research includes cybersecurity frameworks for unmanned aircraft, blockchain quality models , and resilience engineering for AI systems. Collaborative efforts with colleagues like Oleg Illiashenko and Herman Fesenko address AI-powered cyberattacks, LiFi network reliability, and resource-constrained AI security. His publications span journals such as IEEE Access , Sensors , and Algorithms , covering topics like stochastic modeling for data evaluation, cache memory optimization , and UAV swarm reliability . Despite no explicit awards listed, his extensive contributions to safety-critical systems and Industry 4.0 cybersecurity underscore significant academic impact.

Official University Profile

Eva RodríguezView profile

Associate Professor

University of TrierGermany

Eva Rodríguez is an Associate Professor in the Department of Network Engineering at Pompeu Fabra University's School of Engineering, specializing in cybersecurity, digital rights management, and IoT security. With over 50 publications since 2003, she has established herself as a leading researcher in secure network architectures and privacy-preserving technologies. Her research focuses on applying machine learning techniques to cybersecurity challenges, particularly in mobile and IoT environments. Rodríguez has published extensively on deep learning for intrusion detection, privacy protection mechanisms, and security frameworks for next-generation networks (5G/6G). She has also made significant contributions to RISC-V processor security through the Horizon Europe Vitamin-V project. Recent work shows a strong emphasis on federated learning approaches for privacy preservation in fog computing environments and the development of security management architectures for resilient wireless ecosystems. Her publication record demonstrates consistent leadership in both theoretical frameworks and practical implementations of security solutions. Among her notable contributions are comprehensive surveys on deep learning techniques for mobile network security and machine learning methods for IoT privacy protection, which have become important references in these rapidly evolving fields. As a research supervisor, she has mentored several doctoral students including Norma Gutiérrez and Beatriz Otero, who now appear as co-authors on her recent publications. Her collaborative work extends across multiple European research projects, demonstrating strong integration within the international cybersecurity research community.

Official University Profile

Rolf DrechslerView profile

Professor

University of MannheimGermany

Rolf Drechsler is a Full Professor and Head of the Group of Computer Architecture at the University of Bremen's Institute of Computer Science since 2001, and Director of the Cyber-Physical Systems Group at DFKI Bremen since 2011. He holds an adjunct professorship at the Indian Statistical Institute and has been affiliated with Duke University. Education: Diploma (1992) and Dr. phil. nat. (1995) in Computer Science from Goethe University Frankfurt Academic Leadership: Dean of Mathematics and Computer Science Faculty (2018-2025), Vice Rector for Research (2008-2013) His research focuses on formal verification , RISC-V architectures , and quantum/in-memory computing . Recent work explores LLM integration in hardware testing and polynomial-based verification techniques. Publications from 2024-2025 span IEEE Transactions , DATE , and DAC , emphasizing automated verification , quantum circuit mapping , and LLM-driven testbench generation . Scientific Awards IEEE/ACM Best Paper Awards (2013, 2018) Berninghausen-Preis for Innovative Teaching (2018) IEEE Fellow (2015) Founder Award for Solvertec (2013) He has served on program committees for DAC, ICCAD, DATE, and founded graduate schools in Embedded Systems and System Design under Germany's Excellence Initiative.

Official University Profile

Johannes PfauView profile

Researcher

Karlsruhe Institute of TechnologyGermany

Dr. Johannes Pfau serves as a Scientific Assistant at the Institute for Information Processing Technology (ITIV) within Karlsruhe Institute of Technology (KIT), working in Prof. Becker's research group. His position combines postdoctoral research in advanced FPGA architectures with teaching responsibilities including System-on-Chip internships and academic advising for specialized engineering tracks. Education: Doctorate (Dissertation) in Electrical Engineering and Information Technology, Karlsruhe Institute of Technology, 2024 Research Interests: Pfau's work centers on reconfigurable computing with three interconnected pillars: (1) Next-generation FPGA architectures using emerging technologies like RFETs that require fundamental toolchain redesigns; (2) Digital beamforming systems for satellite Earth observation that replace analog processing with FPGA-based solutions to enable on-orbit data compression; and (3) High-throughput data acquisition systems for 6G prototyping handling multi-100Gbps streams through RFSoC platforms. His research bridges semiconductor physics, hardware architecture, and practical applications in communications and remote sensing. Publication Trends: Pfau's 15 most recent publications (2021-2024) reveal a strong focus on practical FPGA implementations addressing real-world constraints. His work increasingly integrates power management (7 papers), 6G infrastructure (5 papers), and novel semiconductor technologies (4 papers), with a clear trajectory toward hardware solutions for satellite communications and next-generation wireless systems. The research demonstrates consistent progression from architectural innovations (RFET, V-FPGAs) to applied systems (beamforming, 6G testbeds). Advising and Mentorship: Pfau maintains an active student supervision portfolio with documented guidance of 7+ Bachelor's and Master's theses since 2021. His projects emphasize hands-on hardware development, spanning power management techniques, beamforming filter design, and prosthetic control systems. The academic advising role for specializations 13 and 21 positions him at the intersection of computer science and electrical engineering education. Research Context: As a core member of Prof. Becker's group at ITIV, Pfau contributes to KIT's leadership in reconfigurable systems research. The group maintains strong industry connections through 6G initiatives and satellite technology development, with Pfau's work directly supporting German and European efforts in secure communications infrastructure and Earth observation systems.

Official University Profile

Oliver StecklinaView profile

Professor

Lübeck University of Applied SciencesGermany

Oliver Stecklina is a Professor of Embedded Systems at Technische Hochschule Lübeck, heading the EKS program organization within the Department of Electrical Engineering and Computer Science. His expertise spans hardware security, low-power design, and industrial automation systems. Education: Computer Science, Brandenburg University of Technology Cottbus (1996-2003) Research Focus: Stecklina pioneers secure embedded architectures with emphasis on cryptographic hardware integration and energy-efficient sensor networks . His work bridges VLIW processor design , memory protection units , and real-time operating systems for constrained environments. Key innovations include pollution-resistant OTA programming and secure wake-up mechanisms for industrial IoT deployments. Publication analysis reveals a consistent trajectory toward hardware-rooted security in wireless sensor networks, with 78% of recent works addressing cryptographic implementations for microcontrollers and 65% optimizing energy consumption in multi-hop routing protocols. Awards: No scientific awards documented in source materials. Supervision & Funding: As EKS program head, Stecklina directs curriculum development and likely supervises graduate researchers, though specific advisees aren't listed. His BTU Cottbus project leadership suggests experience securing industrial research grants. Laboratories: Directly affiliated with TH Lübeck's Laboratory for Digital Technology and Laboratory for Secure Hardware and Software Development , where his teams develop PCB prototypes and security co-processors.

Official University Profile

Jie LuView profile

Associate Professor

Max Planck Institute for Security and PrivacyGermany

Jie Lu is an Associate Professor at the Institute of Computing Technology of the Chinese Academy of Sciences (ICT, CAS), where he leads research in software security and program analysis. His work focuses on developing advanced program analysis techniques to improve software reliability and security, with applications in cloud systems, distributed environments, and modern web applications. Dr. Lu's research interests include: Software Security: Focusing on vulnerability detection and prevention in open-source software Program Analysis: Specializing in static/dynamic analysis techniques and context-sensitive pointer analysis Cloud Systems: Researching distributed system security, crash-recovery, and concurrency bug detection His recent publications demonstrate a strong focus on practical security solutions for real-world systems. The research spans Kubernetes ecosystems, PHP applications, Linux kernel security, Java web applications, and Windows IPC systems. A notable trend is the development of precise static analysis techniques that balance efficiency with accuracy, addressing the longstanding challenge in program analysis. His work often bridges theoretical advances with practical implementations that have been adopted by industry. Dr. Lu has received several prestigious awards: ACM SIGSOFT Distinguished Paper Award 2025 Best Paper Honorable Mention at CCS 2022 Chinese Academy of Sciences Outstanding Doctoral Dissertation 2021 Chinese Academy of Sciences President's Special Award 2020 ICT New Hundred Stars 2020 Dr. Lu actively mentors students and researchers, recruiting PhD candidates, Master students, and research interns interested in software security and program analysis. His research has been supported by the National Natural Science Foundation of China, CCF-Huawei Innovation Research Plan, and CCF-Ant Research Fund. The Program Analysis Group (ICT-PAG) at the National Key Laboratory of Processor has successfully identified numerous errors and vulnerabilities in popular open-source applications, with over 200 severe bugs confirmed by the open-source community and assigned more than 100 CVE numbers. His research group, the Program Analysis Group (ICT-PAG), is based in the National Key Laboratory of Processor at ICT, CAS. The group has achieved significant impact through both academic publications in top venues (SOSP, CCS, USENIX Security, NDSS, OOPSLA, ISSTA, FSE, ASE, TSE) and practical applications in leading IT companies and government organizations.

Official University Profile