Find Academic Supervisors

Stefan WildermannView profile

Professor

• Reconfigurable Systems
• Edge Computing
• Organic Computing
• +7 more

Stefan Wildermann is a Professor at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), where he leads the Reconfigurable Computing Group within the Chair of Computer Science 12 (Hardware-Software Co-Design) in the Department of Computer Science. He has maintained continuous research activity at FAU since 2006, progressing from researcher to his current leadership position. Dr. Wildermann earned his Diploma degree in Computer Science from FAU in 2006 and completed his doctorate (Dr.-Ing.) in Computer Science at the same institution in July 2012. His academic career has been entirely rooted at FAU, demonstrating a strong institutional commitment and progression through the ranks. His research spans multiple cutting-edge areas in computer science and engineering, with particular emphasis on reconfigurable systems and hardware-software co-design. Wildermann's work in edge computing explores efficient processing at the network periphery, while his research in organic computing investigates self-organizing systems that can adapt to changing environments. His expertise extends to optimization techniques for embedded systems, applying game theory principles and convex optimization methods to solve complex resource allocation problems. More recently, he has integrated reinforcement learning approaches to enhance system adaptability and performance. His teaching portfolio includes courses on event-driven systems, computer engineering fundamentals, embedded systems, and hardware-software co-design. Analysis of Wildermann's publication record from 2021-2025 reveals a strong focus on hardware acceleration, security, and embedded systems. His work demonstrates consistent evolution from foundational research in reconfigurable architectures toward practical applications in IoT, robotics, and secure computing. A significant portion of his recent work addresses near-data processing using FPGAs for database acceleration, while maintaining parallel research streams in side-channel security analysis and energy-efficient embedded systems design. His publications frequently appear in top-tier conferences including DATE, FPL, ASP-DAC, and HOST, reflecting strong recognition within the computer architecture and embedded systems communities. Wildermann has held significant leadership roles including Head of the Reconfigurable Computing Group since 2015 and previously served as Head of the Self-organizing Systems Group (2012-2015) and Lab Leader of the Automotive Lab within the Embedded Systems Initiative (2016-2020). His research has been consistently funded through multiple projects investigating invasive computing, reconfigurable architectures, and embedded systems design methodologies. Currently based in Room 02.116 at Cauerstr. 11, 91058 Erlangen, Wildermann continues to lead active research in the Hardware-Software Co-Design group, supervising projects that bridge theoretical computer science with practical hardware implementation challenges.

Pascal SasdrichView profile

Researcher

• Hardware Security
• Secure Processor Design
• Computer-Aided Security
• +3 more

Pascal Sasdrich is a Researcher at Ruhr University Bochum, Germany, affiliated with the Faculty of Computer Science and the Security Engineering department. He holds a PhD in IT-Security/Information Technology from the same university (2018), following M.Sc. (2015) and B.Sc. (2012) degrees in the same field. His research focuses on Hardware Security, Secure Processor Design, Computer-Aided Security, and Security by Design. He has extensive experience in cryptographic hardware implementations, including countermeasures against side-channel and fault attacks. Teaching includes courses on Processor Security and Implementation of Cryptographic Schemes. His work bridges theoretical security models with practical hardware implementations, emphasizing automated tools and formal verification for secure embedded systems. Key projects include contributions to Project HEP (open-source hardware security chip design) and development of methodologies like EASIMASK for automated masking in hardware. Publications span cryptographic hardware implementations, fault and side-channel countermeasures, and formal security verification. Notable works include combined threshold implementations, secure processor extensions, and automated generation of masked hardware circuits. Current research emphasizes securing embedded systems through holistic design approaches, including ISA extensions and automated EDA tools.

• Information Security
• Cybersecurity
• Smart Card Security
• +15 more

Konstantinos Markantonakis is a Professor of Information Security in the Department of Information Security at Royal Holloway, University of London, where he also serves as Director of the Smart Card and IoT Security Centre and the Transformative Digital Technologies, Security and Society Catalyst. He is a leading figure in embedded systems and IoT security, with extensive research and consultancy experience. BSc (Hons) in Computer Science, Lancaster University, 1995 MSc in Information Security, Royal Holloway, 1996 PhD in Smart Card Security, Royal Holloway, 2000 MBA in International Management, Royal Holloway, 2005 His research focuses on securing embedded and cyber-physical systems, including smart cards, mobile devices, drones, automotive systems, and IoT. He investigates trusted execution environments, side-channel analysis, secure protocols, and hardware-software binding. His work bridges theoretical security and practical implementation, often uncovering zero-day vulnerabilities in consumer devices. The recent publications highlight a strong trend in trusted computing, remote attestation, secure embedded systems, and privacy-preserving technologies. His research integrates blockchain for secure energy trading, develops frameworks for edge machine learning, and advances forensic techniques for damaged storage media. He also explores covert channels in mobile and cloud environments, demonstrating a deep understanding of both offensive and defensive security. Best Paper Award Markantonakis has led major research projects such as EXFILES (forensic extraction from encrypted smartphones), Future TPM (quantum-resistant trusted modules), and the Academic Centre of Excellence in Cyber Security Research. He has supervised numerous PhD students and delivered keynotes at international conferences. His consultancy work has impacted financial institutions, transport operators, and mobile platform security. He leads the Smart Card and IoT Security Centre, a research hub focusing on practical security for connected devices. The centre conducts cutting-edge research in side-channel attacks, secure application execution, and forensic analysis, contributing significantly to both academic and industrial advancements in cybersecurity.

Nele MentensView profile

Professor

• Applied Cryptography
• Hardware Security
• Secure Coprocessor Design
• +12 more

Nele Mentens is a full professor at both KU Leuven and Leiden University, where she leads cutting-edge research in applied cryptography, hardware security, and secure embedded systems. At KU Leuven, she is affiliated with the Faculty of Engineering Technology and the Electrical Engineering Department (ESAT), leading the Emerging Technologies, Systems & Security (ES&S) research group at the Diepenbeek campus. Simultaneously, she holds a full professorship at Leiden University’s Leiden Institute of Advanced Computer Science (LIACS), focusing on applied cryptography and security. She has been instrumental in numerous national and international research initiatives, including Horizon Europe and NWO-funded projects. Full Professor, KU Leuven (since 2023) Full Professor, Leiden University (since 2020) Associate Professor, KU Leuven (2014–2023) Post-doctoral Researcher & Lecturer, KHLim / KU Leuven (2007–2014) Ph.D. in Engineering Science, KU Leuven (2007) M.Sc. in Electrical Engineering, KU Leuven (2003) Her research focuses on secure and efficient hardware design, particularly for cryptographic applications on FPGAs, reconfigurable architectures, IoT security, and neuromorphic computing. She explores physical attack resistance, side-channel analysis protection, and trusted computing architectures, with applications in healthcare, industrial monitoring, and endpoint AI. Her work bridges theoretical cryptography with practical hardware implementations, emphasizing energy efficiency and real-time performance. The 15 most recent publications reflect a strong trend toward secure, energy-efficient, and intelligent embedded systems. Topics include neuromorphic AI accelerators, trusted IoT architectures, dynamic reconfiguration for side-channel protection, and secure medical data processing. These works span disciplines such as computer architecture, cybersecurity, digital design, and embedded systems, with a focus on hardware-software co-design and real-world deployment. Nele Mentens has received recognition for her contributions, including: Best Paper Award, DATE'16 Best Paper Nomination, AsianHOST'17 Best Paper Award, CHES'19 She has supervised over 15 Ph.D. students and post-docs, both current and former, and has served as principal investigator in approximately 25 funded research projects. Her work has attracted significant grants from Horizon Europe, NWO, FWO, and national innovation programs. She actively contributes to the academic community through editorial roles in top journals and leadership in major conferences. Nele Mentens leads the ES&S research group at KU Leuven and collaborates closely with LIACS at Leiden University. Her team includes Ph.D. students, post-docs, and research experts working on projects like NimbleAI, NeuroSoC, and TrustedIoT. She has also established secure electronics labs through infrastructure grants and maintains strong international ties with institutions such as EPFL, Ruhr University Bochum, and ETH Zurich.

Arish SateesanView profile

Professor

• Computer Engineering
• Network Security
• Hardware Acceleration
• +3 more

Dr. Arish Sateesan serves as Professor and Chair of the Institute for Networked Systems at RWTH Aachen University's Faculty of Electrical Engineering and Information Technology, located at Kackertstrasse 9 in Aachen, Germany. His research group operates from House C (Room C046) with direct contact via asa@inets.rwth-aachen.de. His primary research domains center on hardware-accelerated network security solutions, specializing in FPGA implementations for high-speed networking. Key focus areas include: Real-time network monitoring and intrusion detection systems Hardware-optimized cryptographic and non-cryptographic algorithms Machine learning integration for wireless beamforming and LiDAR processing Ultra-high-speed flow measurement architectures His work bridges theoretical computer science with practical hardware constraints, emphasizing throughput optimization for security-critical applications. Analysis of his 15 most recent publications (2021-2025) reveals a pronounced shift toward hardware-software co-design for next-generation networks. The research trajectory shows increasing integration of quantized neural networks with traditional security primitives, particularly for mm-Wave and 5G/6G applications. A consistent theme across all publications is the prioritization of hardware friendliness through algorithmic simplification and architectural innovation. As Institute Chair, he leads a research ecosystem focused on developing deployable security solutions for modern network infrastructures, with current projects targeting autonomous vehicle communication systems and infrastructure protection against distributed denial-of-service attacks.

Jingling XueView profile

Professor

• Programming Languages
• Compilers
• Program Analysis
• +5 more

Jingling Xue is a Scientia Professor at the School of Computer Science and Engineering at the University of New South Wales (UNSW) in Sydney, Australia. As an IEEE Fellow of the Computer Society, he leads the Programming Languages and Compilers research group, focusing on practical applications of compiler optimization and program analysis techniques. His work bridges theoretical foundations with real-world software systems, particularly in developing open-source tools for large-scale program analysis. Professor Xue received his B.Eng and M.Eng degrees from Tsinghua University in 1984 and 1987, respectively, followed by a PhD from the University of Edinburgh in 1992. His academic journey has established him as a leading figure in programming languages and compiler technology. Xue's research spans programming languages, compiler technology, and program analysis with emphasis on practical relevance. His current projects include compiler techniques for improving parallelism and locality, pointer/alias analysis for million-line-scale programs, and static/dynamic analysis for detecting bugs and security vulnerabilities in real-world applications like web browsers and Android apps. His group actively develops open-source tools to support scientific replicability and reproducibility in these areas. His recent publications demonstrate a strong focus on applying program analysis techniques to modern challenges including AI compilers, homomorphic encryption, security vulnerability detection, and graph processing systems. The work shows evolution from traditional compiler optimization to addressing emerging domains like privacy-preserving computation and deep learning systems while maintaining rigorous theoretical foundations. Scientific Awards: Best Paper Award at CGO'13 Best Paper Award at CGO'16 Distinguished Paper Award at ECOOP'16 Distinguished Paper Award at ICSE'18 Distinguished Paper Award at ISSTA'19 Distinguished Paper Award at ASE'19 Distinguished Artifact Award at ISSTA'23 Best Artifact Award at FSE'23 Distinguished Paper Award at ASE'23 Test-of-Time Award at CGO'21 Professor Xue has successfully supervised 30 PhD students to completion, many of whom now work as professors or researchers in academia and industry. He has served as Program Chair for major conferences including LCTES'13, CC'18, CGO'20, and General Chair for LCTES'20. His group currently focuses on memory safety in Rust, smart contract analysis, AI compilers, compilation for privacy-preserving computation, and adversarial attacks in deep learning. The Programming Languages and Compilers group maintains strong connections with industry partners, translating theoretical advances into practical tools for real-world software development challenges. Their work on pointer analysis, memory safety, and compiler optimizations continues to influence both academic research and industrial practice.

Benjamin SturmView profile

Research Fellow

• Distributed Ledger Technology
• Blockchain Systems
• Design Science Research
• +4 more

Benjamin Sturm is a postdoctoral researcher at the Chair of Information Infrastructures at the Technical University of Munich . His work focuses on Distributed Ledger Technology (DLT) , blockchain systems , and design science research . He has contributed to projects like COOLedger (DLT configuration analysis) and BISE Student (open access thesis platform using blockchain). Sturm’s research investigates security vulnerabilities in DLT , autonomous agent collaboration , and systematic information retrieval frameworks . His work on DLT design principles and configuration trade-offs has been published in top conferences like ICIS and HICSS . He has developed tools for transparent academic publishing using the bloxberg blockchain and IPFS for decentralized storage. Key publication trends include DLT security , blockchain configuration challenges , and methodological innovations in design science research . He collaborates with Prof. Ali Sunyaev and researchers like Niclas Kannengießer on DLT applications in cloud computing, autonomous driving, and academic infrastructure. Current projects focus on decentralized knowledge management and robustness in open multi-agent systems .

Sandrine BlazyView profile

Professor

• Formal verification
• Semantics of programming languages
• Compilers
• +3 more

Sandrine Blazy is a Professor in the Computer Science Department at the University of Rennes, France. She is a member of CELTIQUE (also referred to as Epicure), a joint project-team with Inria Rennes Bretagne Atlantique and the IRISA laboratory. Since 2021, she has served as deputy director of the IRISA CNRS UMR 6074 laboratory and will be the general chair for POPL 2026, which will be held in Rennes. She is also a member of the editorial board of the LMCS journal. Dr. Blazy completed her PhD at CNAM (Conservatoire National des Arts et Métiers) in 1993 with a thesis titled "La spécialisation de programmes pour l'aide à la maintenance du logiciel" (Program Specialization for Software Maintenance Assistance). She later completed her Habilitation à diriger des recherches (HDR) in 2008 at the University of Évry Val d'Essonne with a thesis titled "Sémantiques formelles" (Formal Semantics). Her research focuses on the formal verification of program transformations and semantic properties of programming languages, particularly in the context of the CompCert compiler and Verasco static analyzer. She develops mechanized semantics using the Coq (or Rocq) proof assistant to ensure software correctness and security. A prime application domain of her work is software security, including constant-time programming for cryptographic applications and software obfuscation techniques. Her teaching includes mechanized semantics (in Coq), functional programming (in OCaml), formal methods (using Why3), and software vulnerabilities. Dr. Blazy's publication record from 2019-2025 shows a sustained focus on verified compilation techniques, particularly in preserving security properties during compilation. Her work bridges theoretical formal methods with practical compiler implementation, resulting in tools that have real-world impact in safety-critical systems. She has made significant contributions to the CompCert formally verified compiler project, with particular attention to constant-time preservation for cryptographic applications and JIT compilation verification. Her scientific achievements have been recognized with several major awards: CNRS Silver Medal (2023) Lucas Award from Formal Methods Europe (2023) ACM SIGPLAN Programming Languages Software Award for CompCert (2022) ACM Software System Award for CompCert (2021) Dr. Blazy has been actively involved in the programming languages research community, serving on numerous program committees for major conferences including POPL, ICFP, PLDI, and CPP. She has mentored students and contributed to education through teaching mechanized semantics and formal methods. Her work with the CompCert compiler has led to practical applications in safety-critical systems, with industry collaborations documented in publications like "CompCert: Practical experience on integrating and qualifying a formally verified optimizing compiler" (ERTS 2018). She leads research within the CELTIQUE project team, which focuses on developing trustworthy software using deductive verification. Her team works on advancing the state of the art in formal verification of compilers and static analyzers, with applications in security-critical domains including cryptographic implementations and safety-critical embedded systems.

Tim Erhan GüneysuView profile

Professor

• Hardware Security
• Post-Quantum Cryptography
• Embedded Systems Security
• +4 more

Prof. Dr.-Ing. Tim Erhan Güneysu is the head of the Chair of Security Engineering at Ruhr University Bochum and spokesperson for the Horst Görtz Institute for IT Security (HGI). He also leads the Cyber-Physical Systems department at the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research spans hardware security, post-quantum cryptography, and embedded systems security. Research Interests: Güneysu focuses on hardware security, including cryptographic implementations resistant to quantum computing threats. His work addresses post-quantum cryptography standards, secure embedded systems for medical technology (PQC4Med), and dynamic hardware reconfiguration for physical security (SecRec). He emphasizes practical applications in cybersecurity and cryptographic agility. Publications: Recent articles highlight advancements in polynomial inversion masking, KEM certificate authentication protocols, and nanoelectronics security. These works align with quantum-resistant algorithms, secure communication, and hardware-software co-design for medical and embedded systems. Leadership and Contributions: Güneysu co-founded SciEngines GmbH, a company specializing in hardware for cryptanalysis. He serves as Managing Director of the Transactions on Cryptography Hardware and Embedded Systems , a leading journal in hardware security. His projects include securing medical devices against post-quantum threats and developing reconfigurable hardware for security-critical environments. Labs and Teams: He leads the Cyber-Physical Systems department at DFKI and oversees the HGI research cluster at Ruhr University, which includes Germany's only Cluster of Excellence in IT security (CASA) and collaborations with the Max Planck Institute for Security and Privacy.

Julian LossView profile

Professor

• Cryptography
• Distributed Computing
• Provable Security
• +3 more

Dr. Julian Loss is a tenured faculty member at the CISPA Helmholtz Center for Information Security since 2021, focusing on cryptography and its interplay with distributed computing . He previously held postdoctoral positions at the University of Maryland (2019-2021) and Carnegie Mellon University (2021), and worked as a researcher at the blockchain company Spacemesh (2018-2021). Education : PhD in Mathematics from Ruhr University Bochum (2019) His research explores provable security , with emphasis on digital signature schemes , distributed consensus algorithms , and cryptographic protocol design . Recent publications address topics like kryptographic attacks , Byzantine agreement efficiency , and privacy analysis in cryptocurrencies . He has received the ERC Starting Grant (2023) and DFG Grant (2022) . His work is primarily published in top venues including PKC , CCS , EUROCRYPT , and IEEE S&P .

• Theoretical Computer Science
• Algorithm Engineering
• Parallel Computing
• +3 more

Prof. Dr. Peter Sanders is a full professor in Theoretical Computer Science at the Karlsruhe Institute of Technology (KIT), leading the Algorithm Engineering group. His academic career includes a doctoral degree from Karlsruhe University and research stints at institutions like the Max Planck Institute for Informatics. He specializes in algorithm theory and engineering, focusing on parallel computing, large-scale data processing, and graph partitioning. His research bridges theoretical foundations with practical implementations, emphasizing real-world applications in optimization, route planning, and distributed systems. Education: Ph.D. in Computer Science, Karlsruhe University (1996) Bachelor/Master studies at Karlsruhe University (1988-1996) Research Interests: Algorithm design and analysis Parallel and distributed algorithms Graph algorithms and partitioning Algorithm engineering for big data High-performance computing Publications: Over 250 papers, emphasizing parallel algorithms, distributed systems, and graph theory. Recent work includes scalable SAT solving, hypergraph partitioning, and distributed string sorting. His contributions have advanced practical applications in route planning, load balancing, and large dataset processing. Awards: Recipient of the prestigious Leibniz Prize (DFG) and Baden-Württemberg State Research Prize. He coordinated the DFG Priority Program on Algorithm Engineering and is an active reviewer for major funding bodies. Consulting: Engages with companies like SAP and Google, focusing on optimization, route planning, and database algorithms. Leads projects on algorithm scalability and real-world problem-solving. Labs/Teams: Heads the Algorithm Engineering group at KIT, fostering collaborations in distributed computing and algorithmic research.

Mitra BaratchiView profile

Associate Professor

• Spatio-Temporal Data Analysis
• Machine Learning
• Mobility Data Modeling
• +5 more

Mitra Baratchi is an Associate Professor at the Leiden Institute of Advanced Computer Science (LIACS) , Leiden University. She leads the Spatio-temporal data Analysis and Reasoning (STAR) research group, co-leads the Automated Design of Algorithms (ADA) group, and founded the Special Interest Group on Spatio-Temporal Data Mining (SIG-SDTM) . PhD from University of Twente (Mobility Data) Master’s/Bachelor’s in Computer Engineering, Iran Research Interests focus on automated pattern extraction from spatio-temporal data across urban, environmental, and industrial domains. Key applications include: Automated Machine Learning (AutoML) for Earth Observations Time-Series Forecasting for public health (e.g., pandemic modeling) Urban Mobility Optimization with ESA, Honda, and municipalities Reliable Vehicular Communication Systems Smart Garments for Health Risk Detection Geocast Protocols for Internet-wide Communication Grant Highlights include €120K NWO-Aspasia, €2.9M Marie Skłodowska-Curie, €350K NWO-KLEIN, and €135K Center for BOLD Cities funding. She has supervised 12 PhD students and 4 current Master’s students since 2011, with notable best paper award at WWIC'16. Teaching includes Machine Learning (2020-present) and Urban Computing (2018-present) at Leiden, plus past courses in Data Visualization, Software Engineering, and Research Methods.

• Cybersecurity
• Privacy-Preserving Technologies
• Federated Learning Security
• +3 more

Alexandra Dmitrienko is a researcher at the University of Würzburg's Institute of Computer Science. Her work focuses on cybersecurity, privacy-preserving technologies, and secure machine learning systems. She has collaborated extensively with institutions like TU Darmstadt and the University of California. Her research spans federated learning security, IoT device protection, Tor network analysis, and mobile platform vulnerabilities. Key contributions include defenses against poisoning attacks in federated learning, analysis of contact discovery exploits in messengers, and practical SGX cache attack mitigations. She has authored over 90 publications across top conferences like NDSS, CCS, and USENIX Security, and contributed to open-source tools like DNNShield and ClearMark for model ownership verification.

• Electronic Design Automation
• Fault Injection Simulation
• RISC-V Processors
• +7 more

Johannes Geier is a Researcher at the Chair of Design Automation at the Technical University of Munich (TUM). His work focuses on electronic design automation, fault injection simulations, and security countermeasures for RISC-V processors. University: Technical University of Munich Department: Chair of Design Automation Email: johannes.geier@tum.de Research Interests Electronic Design Automation (EDA) for analog and digital circuits Fault tolerance and reliability in RISC-V architectures Security analysis of post-quantum cryptographic systems Timing analysis and microfabrication techniques Optical Networks-on-Chip (NoC) and emerging technologies Compiler-assisted hardware security implementations Recent Research Trends Specializes in fault injection methodologies for hardware security validation Develops open-source tools like vRTLmod for RTL simulation acceleration Explores RISC-V vector extensions for post-quantum cryptography Investigates differential fault effect equivalence checks for efficiency Designs compiler-based security countermeasures against instruction skip attacks Works on concurrent multi-node XCP proxy server architectures

Rainer SchnellView profile

Professor

• Survey Methodology
• Privacy-Preserving Record Linkage
• Health Data Analysis
• +2 more

Prof. Dr. Rainer Schnell is a Professor at the Institute of Sociology, University of Duisburg-Essen. His research focuses on advanced survey methodologies, privacy-preserving data linkage techniques, and statistical analysis of health and social data. He leads the Chair of Empirical Social Research and contributes to interdisciplinary studies combining sociology, computer science, and public health. Research interests span: Survey Methodology : Innovations in web surveys, non-response analysis, and data quality assurance Data Privacy : Cryptographic techniques for secure record linkage and vulnerability assessments Health Analytics : Vaccination behavior studies, health data governance, and pandemic-related research Recent publications demonstrate a strong emphasis on: Privacy-enhancing technologies for sensitive data integration Methodological critiques of survey and data linkage practices COVID-19-related behavioral research using large-scale population data