Find Academic Supervisors

Nils FleischhackerView profile

Assistant Professor

• Cryptography
• Theoretical Computer Science
• Zero-Knowledge Proofs
• +5 more

Nils Fleischhacker is an Assistant Professor for Cryptography at Ruhr University Bochum, where he leads the Theoretical Cryptography group within the Faculty of Computer Science. His research focuses on foundational aspects of cryptography with particular emphasis on zero-knowledge proofs, digital signatures, and secure computation. Prior to joining Ruhr University, he held postdoctoral positions at Johns Hopkins University and Carnegie Mellon University. Dr. Fleischhacker received his PhD in Computer Science from Saarland University in February 2017, advised by Dominique Schröder. During his doctoral studies, he was a research intern at Microsoft Research with Chris Brzuska and a research visitor at the University of Maryland, College Park with Jonathan Katz and Dana Dachman-Soled. His research spans theoretical cryptography with significant contributions to zero-knowledge proofs, multi-signature schemes, property-preserving hash functions, and security proofs for cryptographic primitives. Fleischhacker's work often addresses fundamental questions about the limits and possibilities of cryptographic constructions, with particular attention to black-box separations and lower bounds. His recent publications demonstrate a strong focus on lattice-based cryptography and post-quantum secure protocols. Fleischhacker's publications over the past five years reveal a consistent research trajectory focused on improving the efficiency and security of cryptographic primitives, with particular emphasis on signature schemes, zero-knowledge protocols, and secure computation frameworks. His work frequently appears in top-tier cryptography venues including CRYPTO, EUROCRYPT, and CCS. Dr. Fleischhacker actively mentors PhD students, with numerous successful graduations spanning from 2010 to 2024. His former PhD students include Önder Askin (2024), Floyd Zweydinger (2023), and Lars Schlieper (2022), among others. His research is supported through various academic channels and collaborations. He is affiliated with several prominent research organizations including the Horst Görtz Institute (HGI) for Information Security, the DFG Excellence Cluster CASA, the EU Marie Curie Network QSI, and the International Association for Cryptologic Research (IACR). These affiliations provide a strong institutional framework for his theoretical cryptography research.

Sebastian SteinhorstView profile

Associate Professor

• Embedded Systems
• Internet of Things (IoT)
• Cyber-Physical Systems
• +5 more

Prof. Dr. Sebastian Steinhorst is an Associate Professor (W3-level with tenure) at the Technical University of Munich (TUM) within the Embedded Systems and Internet of Things group at the TUM School of Computation, Information and Technology . His research focuses on advancing the security, predictability, reliability, and interoperability of smart connected and autonomous systems, particularly for applications in Internet of Things (IoT) , Industry 4.0 , and automotive systems . PhD in Computer Science (2011) from Goethe University Frankfurt Postdoctoral roles at TUMCREATE Singapore (2011-2016) and Aarhus University (2016) Joined TUM in 2016 as Rudolf Moessbauer Tenure Track Professor His research areas include decentralized embedded systems, hardware/software co-design, modeling and verification of cyber-physical systems, security protocols for automotive networks, and time-sensitive networking (TSN) for industrial applications. Recent work explores blockchain-based data sovereignty, zero-knowledge proofs for vehicle authentication, and resilient architectures for autonomous systems. Key scientific contributions include the 2019 ACM TODAES Best Paper Award and pioneering work on CyberSecDome , LeapChain , and Simutack frameworks. He serves on editorial boards and conference committees, including co-organizing the Autonomous Systems Design initiative at DATE. His teaching portfolio spans lectures on System Design for IoT , Software Architecture for Distributed Systems , and IoT Security across multiple semesters. He also leads advanced seminars on embedded systems and IoT.

• Distributed Machine Learning
• Privacy Preserving Computing
• Federated Learning
• +3 more

Maximilian Egger is a Doctoral Researcher at the Institute for Communications Engineering under Prof. Antonia Wachter-Zeh at the Technical University of Munich (TUM). His research focuses on distributed machine learning, privacy-preserving computing, and information theory. He holds an M.Sc. in Electrical Engineering and Information Technology (2022, TUM) and a B.Eng. in Electrical Engineering (2020). He has conducted research stays at École Polytechnique Fédérale de Lausanne (2024) and Imperial College London (2023). Egger has received several awards, including the DAAD Scholarship (2023) and the VDE Award Bavaria (2020). His work emphasizes secure federated learning, Byzantine-resilient systems, and efficient distributed algorithms. He is affiliated with the Chair of Coding and Cryptography and actively contributes to advancements in decentralized learning systems. Recent publications highlight breakthroughs in privacy preservation, channel capacity estimation, and scalable federated edge learning.

• Artificial Intelligence
• Machine Learning
• Computer Vision
• +3 more

Li Wei is a distinguished academic affiliated with Tsinghua University, with a focus on interdisciplinary research spanning artificial intelligence, machine learning, and computer vision. His work often intersects with medical informatics, remote sensing, and signal processing, demonstrating a commitment to advancing technological solutions in healthcare, environmental monitoring, and engineering systems. Research interests include deep learning applications in clinical diagnostics, satellite data analysis for climate modeling, and optimization of energy storage systems. He has contributed to innovative solutions in areas such as UAV-enabled edge computing, privacy-preserving blockchain protocols, and thermal-based surveillance systems. His collaborative projects often involve multidisciplinary teams across institutions. Publications reflect a strong emphasis on practical applications, such as mobile health tools for tumor recognition, transformer-based super-resolution techniques for oceanography, and AI-driven risk classification models for respiratory diseases. While no specific awards or grants are listed, his prolific output across top-tier journals indicates sustained research impact. Professional activities include contributions to conferences like RecSys, MICCAI, and AAAI, and editorial roles are implied through his extensive publication record. Collaborations with industry partners (e.g., in energy systems and medical imaging) suggest engagement with real-world problem-solving.

Dominique UnruhView profile

Professor

• Quantum Computing
• Quantum Cryptography
• Post-Quantum Cryptography
• +5 more

Dominique Unruh is a Professor at RWTH Aachen University , leading the Chair for Quantum Information Systems . Additionally, they hold a Professorship in Cryptography at the Institute of Computer Science of the University of Tartu , Estonia. Their research spans quantum computing , quantum cryptography , post-quantum cryptography , and formal verification of cryptographic protocols and programs. Research Focus : Quantum programs, zero-knowledge proofs, lattice-based cryptography, and quantum random oracle model. Key Contributions : Advancements in NTRU encryption efficiency, quantum Hoare logic, and rewinding techniques for security proofs. Tools : Active development in the EasyCrypt framework for cryptographic verification. Email : unruh@cs.rwth-aachen.de

Stefan SchulteView profile

Professor

• Data Engineering
• Blockchain Technologies
• Internet of Things (IoT)
• +4 more

Prof. Dr.-Ing. Stefan Schulte is a Full Professor at Hamburg University of Technology, leading the Institute for Data Engineering and the Christian Doppler Laboratory Blockchain Technologies for the Internet of Things (CDL-BOT). He holds a diploma in Economics and a Bachelor's in Computer Science from the University of Oldenburg, followed by a Master's in Information Technology (with Merit) from the University of Newcastle. After completing his PhD at TU Darmstadt in 2010, he held roles as Postdoctoral Researcher at TU Wien, Assistant Professor (tenure-track), and eventually Associate Professor before joining TU Hamburg in 2021. His research focuses on data engineering, blockchain technologies applied to IoT, elastic computing, and quality-of-service (QoS) aspects in smart systems. Notable contributions include work on fog computing, federated learning, and cross-blockchain interoperability. He has published over 140 papers in top-tier venues like IEEE Transactions on Services Computing and ACM Computing Surveys. Key awards include Best Paper Awards at the IEEE International Conference on Blockchain (2020) and the European Conference on Service-Oriented and Cloud Computing (2023). Prof. Schulte chairs major conferences such as the IEEE International Conference on Fog and Edge Computing (ICFEC 2025) and serves on editorial boards for journals like IEEE Transactions on Services Computing. He leads CDL-BOT, a lab exploring blockchain applications in IoT and manufacturing. His industrial collaborations include projects like SIMPLI-CITY (smart mobility) and CREMA (cloud-based manufacturing). Current research emphasizes blockchain interoperability, federated learning frameworks, and edge-AI systems. He actively reviews proposals for the German Research Foundation, EU programs, and industry initiatives.

Daniel SlamanigView profile

Professor

• Cryptography
• Quantum Safe Cryptography
• Advanced Cryptography
• +7 more

Prof. Dr. Daniel Slamanig is a Full Professor of Cryptology at the Universität der Bundeswehr München (UniBw M) in its Department of Computer Science and Research Institute Cyber Defense (CODE). He heads the Quantum Safe & Advanced Cryptography (QuSAC) Lab and focuses on the development of provably secure cryptographic primitives with applications to real-world security challenges. Prof. Slamanig obtained his PhD in computer science from the University of Klagenfurt in 2011 (with distinction). Prior to his current position, he worked as a Scientist and then Senior Scientist at the AIT Austrian Institute of Technology, and as a Senior Researcher and PostDoc at Graz University of Technology's IAIK. Prof. Slamanig's research spans the foundations and applications of cryptography, with special focus on provably secure public-key cryptographic primitives (including digital signatures) with strong security guarantees against quantum attacks, and privacy-friendly cryptographic mechanisms such as zero-knowledge proofs. His work consistently emphasizes the connection between theoretical foundations and practical implementations, ensuring cryptographic solutions are both secure and applicable to real-world scenarios. His recent publications demonstrate a strong emphasis on post-quantum cryptography (particularly isogeny-based approaches), privacy-preserving technologies, anonymous credentials, and structure-preserving cryptographic protocols. A notable contribution is his work on the Picnic family of post-quantum digital signature schemes, which reached the final round of NIST's post-quantum cryptography standardization project. Prof. Slamanig has received several prestigious awards for his contributions to cryptography: "netidee SCIENCE" award of the Internet Foundation (2018) Best Paper Award at CANS 2021 Top Reviewer Award at the 30th ACM SIGSAC Conference on Computer and Communications Security (CCS 2023) Prof. Slamanig actively mentors the next generation of cryptographers, currently supervising PhD students Thomas den Hollander, Sebastian Spindler, and several others. His research is supported by numerous grants from EU Horizon programs, including PiQASO, SUNRISE, and EDOCC, as well as national funding agencies like FFG. He serves on program committees for top cryptography conferences including CRYPTO, EUROCRYPT, and ACM CCS, and reviews for leading journals such as the Journal of Cryptology. At Universität der Bundeswehr München, Prof. Slamanig leads the Quantum Safe & Advanced Cryptography (QuSAC) Lab within the Research Institute Cyber Defense (CODE), where his team works on cutting-edge research in post-quantum cryptography, privacy-enhancing technologies, and practical implementations of cryptographic protocols for real-world security challenges.

Lisa KohlView profile

Researcher

• Cryptology
• Secure Computation
• Post-Quantum Cryptography
• +3 more

Dr. Lisa Kohl is a tenured Researcher in the Cryptology Group at CWI Amsterdam since October 2020. Her work focuses on secure computation and practical post-quantum secure protocols . Prior to CWI, she was a postdoctoral researcher at Technion with Yuval Ishai and completed her PhD at Karlsruhe Institute of Technology under Dennis Hofheinz in 2019. She also spent eight months at the FACT center, IDC Herzliya during her PhD and wrote her master’s thesis at CWI Cryptology Group as a visiting student in 2015. PhD in Cryptology (2019, Karlsruhe Institute of Technology) Postdoctoral Researcher (Technion, 2019-2020) Research Visit Fellow (FACT Center, 2015-2019) Visiting Student (CWI Cryptology Group, 2015) Her research spans secure multi-party computation , homomorphic secret sharing , post-quantum cryptography , and pseudorandom correlation generation . Articles demonstrate expertise in optimizing oblivious transfer , improving Σ-protocol efficiency , and constructing cryptographic primitives from lattice problems and LPN assumptions . Contact: Lisa.Kohl@cwi.nl

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 .

• Software Engineering
• Formal Methods
• Program Analysis
• +2 more

Maria Christakis is a Full Professor at TU Wien's Faculty of Informatics where she leads the Rigorous Software Engineering Group. Her research develops methods and tools for building reliable software through formal methods, automated test generation, and program verification. She directs several projects including Sherlock (a framework for testing program analyzers), Minotaur (constraint-based program generator), and SmartACE (compositional verifier for smart contracts). Her group focuses on improving software robustness while enhancing developer productivity. Awards include the Distinguished Paper Award at ICSE 2016 and Best Presentation Award at ESEC/FSE 2020. She currently advises 5 PhD students and teaches courses in Advanced Software Engineering and Software Engineering Research.

Stefan TaiView profile

Professor

• Distributed Systems
• Decentralized Architectures
• Data Management
• +6 more

Prof. Stefan Tai is a full professor and Chair of Information Systems Engineering at Technische Universität Berlin (Germany) since 2014. Previously, he held a full professorship at Karlsruhe Institute of Technology (KIT) and worked as a Research Staff Member at IBM's Thomas J. Watson Research Center. His research focuses on distributed systems, decentralized architectures, cloud service engineering, and privacy-preserving blockchain systems, emphasizing off-chain solutions and scalable technologies. Tai's work bridges academic research with industry applications, particularly in serverless computing, energy-efficient cloud-native systems, and blockchain-based solutions for supply chains and energy grids. He has authored numerous peer-reviewed publications in top-tier conferences and journals, including IEEE ICSA, Future Generation Computer Systems, and IEEE Blockchain. His contributions address challenges in software systems engineering, federated learning, and sustainable computing. Research Interests: Next-generation distributed software systems Decentralized architectures and blockchain systems Cloud and serverless computing Energy-efficient design Data management and privacy-preserving technologies Smart energy grids and IoT integration Key Publications Trends: Tai's recent work explores the intersection of blockchain and federated learning, serverless architectures for big data, and energy-efficient cloud-native applications. His 2025 paper introduced a framework for optimizing cloud-native energy efficiency, while 2024 contributions advanced verifiable decentralized systems and serverless data processing. Earlier research (2020–2021) focused on privacy in local energy grids and serverless computing scalability. Grants & Labs: While specific grants are not detailed, his leadership in TU Berlin's Information Systems Engineering group indicates involvement in EU-funded or industrial projects. Collaborations with institutions like TU Wien and KIT suggest multi-institutional efforts in distributed systems and blockchain. Labs/Teams: Leads the Information Systems Engineering research group at TU Berlin, focusing on software systems engineering, cloud architectures, and blockchain applications.

Björn AnnighöferView profile

Professor

• Avionics Systems
• Self-Adaptive Systems
• Cybersecurity
• +5 more

Björn Annighöfer is a Professor at the Institute of Aviation Systems (ILS) at the University of Stuttgart, where he serves as Managing Director. His work focuses on complex, digital, and safety-critical avionics systems, including self-adaptive platforms, cybersecurity, and AI-supported aerospace systems. Research interests include: Self-adaptive avionics platforms Model-based cybersecurity frameworks Integrated Modular Avionics (IMA) development Virtualization and middleware for safety-critical systems AI applications in aerospace Automated development and certification processes Recent publications highlight advancements in PLUG-AND-FLY avionics, security assessment using large language models, and domain-specific modeling tools. He leads a team of ~25 scientists at ILS, which operates modern labs, flight simulators, and research aircraft for testing.

Guoqiang LiView profile

Associate Professor

• formal verification
• programming language theory
• zero-knowledge proofs
• +3 more

Dr. Guoqiang Li is an Associate Professor in the School of Computer Science at Shanghai Jiao Tong University, where he conducts research at the intersection of formal methods, programming languages, and security. His academic journey includes prior positions as Assistant Professor (2009-2013) and subsequent promotion to Associate Professor (2014-present) at the same institution. He has held international appointments including a postdoctoral fellowship at Nagoya University (2008-2009), an academic visit at the University of Oxford (2015-2016), and a Guest Associate Professorship at Kyushu University's Research and Development Center for Smart Mobility (2016-2020). Dr. Li earned his B.S. from Taiyuan University of Technology (2001), M.S. from Shanghai Jiao Tong University (2005), and Ph.D. from Japan Advanced Institute of Science and Technology (2008). His educational background reflects a strong foundation in both Chinese and Japanese academic traditions. His research focuses on formal verification, programming language theory, zero-knowledge proofs, knowledge reasoning, and intelligent system verification and security. Over the past decade, his work has evolved from traditional formal methods applied to timed automata and process calculi to contemporary topics including neural network verification, zero-knowledge proof systems, and the application of large language models to program analysis. His publication record demonstrates a clear progression toward addressing verification challenges in increasingly complex modern systems. Dr. Li's recent publications reveal a strategic research trajectory: early work centered on timed automata and formal verification of concurrent systems, while current research addresses the verification of AI systems, zero-knowledge cryptographic protocols, and LLM-enhanced program analysis. This evolution reflects his commitment to applying rigorous formal methods to emerging computational challenges. Distinguished Paper Award at ICSE 2020 for 'Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning' Consistent publication in top-tier venues including ASE, ICSE, FSE, and OOPSLA Recognition through multiple National Natural Science Foundation of China (NSFC) grants as Principal Investigator Dr. Li actively contributes to the academic community as a Senior Member of the China Computer Federation, Deputy Director of Theoretical Computer Science for the Shanghai Computer Society, and committee member for multiple technical organizations. He serves as Organization Chair for SEKM'20-22 and FMAC'17, Publicity Chair for TASE'21-23, and has participated in program committees for numerous international conferences. His teaching portfolio includes undergraduate and graduate courses in algorithm design, mathematical foundations, and scientific writing, demonstrating his commitment to both theoretical computer science education and practical application.

• Cryptography
• Coding Theory
• Error-Correcting Codes
• +3 more

Sebastian Bitzer is a researcher at the Technical University of Munich (TUM), affiliated with the Chair of Coding and Cryptography led by Prof. Wachter-Zeh. He is part of the Institute of Communications Engineering within the Faculty of Electrical Engineering and Information Technology. His work focuses on cryptography, coding theory, and error-correcting codes with applications in post-quantum security and algorithmic design. Key research interests include code-based cryptography, decoding algorithms for non-binary cyclic codes, and the development of secure cryptographic protocols. Recent studies explore zero-knowledge proofs, syndrome decoding attacks, and error structure-aware decoding methods. Bitzer has contributed to submissions for NIST post-quantum cryptography standardization and advanced decoding techniques in parallel channels. Publications highlight innovations in signature schemes (e.g., FuLeeca), burst error correction, and metric-based coding strategies. His work bridges theoretical coding advancements with practical cryptographic implementations. No specific grants or awards are explicitly mentioned in the provided texts, though his active publication record suggests ongoing academic engagement. Labs/Teams: Active member of the TUM Chair of Coding and Cryptography, collaborating on projects involving post-quantum cryptography and error-correcting code applications.

• Cryptography
• Information Security
• Privacy-Preserving Systems
• +4 more

Moti Yung is a prominent computer scientist and cryptography researcher currently affiliated with Columbia University in New York City, USA, and previously with Google Inc. His extensive publication record spanning over four decades (from 1984 to 2025) demonstrates his significant contributions to the fields of cryptography, information security, and privacy. Dr. Yung has maintained an active research profile with numerous publications appearing in top-tier venues including EUROCRYPT, CRYPTO, ASIACRYPT, and IEEE Security & Privacy. Yung's research interests center around cryptographic foundations and their practical applications. He has pioneered work in anamorphic cryptography, which enables covert communication channels within standard cryptographic protocols, providing resistance against censorship. His research also spans secure computation, privacy-preserving systems, blockchain security, and the intersection of cryptography with machine learning security. Recent work explores adversarial attacks on causal structure learning, steganography in 3D printing, and novel approaches to beacon privacy and censorship circumvention. Analysis of Yung's recent publications (2023-2025) reveals several key research directions: anamorphic cryptography continues to be a major focus, with extensions to broadcast modes and signature schemes; privacy challenges in beacon technologies and IoT systems; security applications in emerging technologies like 3D printing; and the growing intersection between cryptography and machine learning security. His work demonstrates both theoretical depth and practical relevance, often addressing real-world security challenges through innovative cryptographic constructions. Yung has served as co-editor for numerous conference proceedings including Inscrypt, SciSec, and CCS workshops on Additive Manufacturing Security, demonstrating his leadership in the cryptographic community. His collaborations span researchers worldwide, with frequent co-authors including Giuseppe Persiano, Duong Hieu Phan, and Benoît Libert.