جستجوی استاد راهنمای دانشگاهی

• Network Security
• Privacy-Preserving Technologies
• Machine Learning for Networking
• +۵ مورد دیگر

Ke Xu is a Professor in the Department of Computer Science at Tsinghua University's School of Information Science and Technology. With extensive research contributions in network security, privacy-preserving technologies, and machine learning applications for networking, Professor Xu has established himself as a leading researcher in computer science. Professor Xu's research interests span network security, privacy-preserving technologies, machine learning for networking, federated learning, internet protocols, encrypted traffic analysis, blockchain applications, and AI in networking. His work bridges theoretical foundations with practical implementations, focusing on real-world security challenges and network optimization problems. He has developed novel frameworks for secure network operations, privacy-preserving data sharing, and efficient AI deployment in distributed environments. Professor Xu's publication record shows a clear trend toward integrating artificial intelligence with traditional networking challenges. His recent work explores federated learning security, encrypted traffic analysis using deep learning, and novel approaches to network security that leverage machine learning techniques. The interdisciplinary nature of his research spans computer networking, security, privacy, and artificial intelligence. Professor Xu has received recognition for his contributions to network security and privacy-preserving technologies through publications in top-tier venues including IEEE journals, ACM conferences, and security symposia. His work has appeared in IEEE Transactions on Dependable and Secure Computing, IEEE/ACM Transactions on Networking, and security conferences like CCS and NDSS. Professor Xu actively collaborates with researchers across institutions, supervising students and junior researchers in exploring cutting-edge problems in network security and AI. His research has been supported by significant grants focusing on network security, privacy, and intelligent networking infrastructure. He leads projects that address fundamental challenges in secure communication, privacy-preserving data analysis, and intelligent network management. Professor Xu is involved with research laboratories focusing on network security and intelligent systems at Tsinghua University. His team works on developing practical security solutions, privacy frameworks, and AI-enhanced networking protocols that address real-world challenges in today's increasingly connected world.

• Computer Security
• Network Security
• Systems Security
• +۴ مورد دیگر

Nuno Santos is an Associate Professor in the Department of Computer Science and Engineering at Instituto Superior Técnico (IST), University of Lisbon, and a senior researcher at INESC-ID Lisbon. He leads the SysSec team, focusing on systems security and privacy. His research spans secure enclaves, network security, and censorship-resistant systems. Education: Ph.D. in Computer Science (2013) from Max Planck Institute for Software Systems (MPI-SWS) in affiliation with Saarland University. Visiting research stints at Vrije Universiteit Amsterdam (2018) and Technical University of Munich (2024). Research Interests: Systems security, privacy, trusted execution environments (TEEs), network security, censorship resistance, AI security, and secure cloud computing. He has pioneered work on mitigating vulnerabilities in TrustZone-based TEEs and enhancing confidential computing. Publications: Over 30+ peer-reviewed articles in top-tier venues like S&P, USENIX Security, CCS, and NDSS. Recent trends focus on AI-driven security (e.g., automated exploit generation, prompt-to-SQL injections) and confidential computing (e.g., AMD SEV-SNP analysis). Awards: IST Outstanding Teaching Award (2019/2020), 2024 Prémio Científico Universidade de Lisboa/Caixa Geral de Depósitos. Advising & Grants: Supervised MSc theses in areas like AI-powered vishing attacks and confidential VMs. Active in conference organization (e.g., USENIX Security’25 Vice Chair, IEEE EuroSP’26 Co-Chair). Labs/Teams: Leads the SysSec team at INESC-ID Lisbon, collaborating on projects like AnyTEE (TEE framework) and FlowLens (network security tool).

Serge A. Shapiroمشاهده پروفایل

استاد

• Seismology
• Geophysics
• Rock Physics
• +۵ مورد دیگر

Prof. Serge A. Shapiro is a Full Professor of Geophysics at Freie Universität Berlin since 1999 and Director of the PHASE consortium since 2004. He holds a Diploma in Applied Geophysics from Lomonosov Moscow State University (1982), a PhD from the Moscow Research Institute of Geosystems (1987), and a Habilitation from Karlsruhe University (1995). His research focuses on seismogenic processes, induced seismicity, rock physics, and subduction zone dynamics, with applications to geothermal energy, CO2 storage, and hydraulic fracturing. Education: Diploma in Applied Geophysics, Lomonosov Moscow State University (1982) PhD in Geophysics, Moscow Research Institute of Geosystems (1987) Habilitation, Karlsruhe University (1995) Research Interests: Induced seismicity from fluid operations CO2 storage and hydraulic fracturing risks Seismic hazard assessment Rock physics under stress Key Contributions: Developed the Seismogenic Index Model for induced earthquakes Pioneered DAS-based seismic monitoring techniques Advanced understanding of fault stability and pressure diffusion effects Awards: Virgil Kauffman Gold Medal (2013) for work in microseismic monitoring and rock physics Grants & Projects: PHASE consortium leader (2004–present) Utah FORGE EGS project advisor Labs/Teams: Seismology Group, Freie Universität Berlin PHASE university consortium

• Security Engineering
• Hardware Security
• Post-Quantum Cryptography
• +۴ مورد دیگر

Prof. Tim Güneysu is a full Professor and Head of the Security Engineering department at the Faculty of Computer Science, Ruhr-Universität Bochum. He serves as Vice Dean for Strategy and Finances (since 2023) and previously as Speaker of the Horst-Görtz Institute for IT-Security (2020-2023). His academic journey includes roles as Associate Professor at the University of Bremen (2015-2017) and Assistant Professor at Ruhr-Universität Bochum (2011-2015). He also holds positions at the German Research Center for Artificial Intelligence (DFKI) and has conducted postdoctoral research at UMass Amherst. His research focuses on Security-by-Design principles, CAD for Security, and countermeasures against physical attacks. He emphasizes efficient cryptographic implementations and system-level hardware security. Key areas include post-quantum cryptography, side-channel resistant designs, and secure embedded systems. He has contributed over 200 publications in top venues, with recent work on FPGA-based cryptographic accelerators, secure hardware extensions (e.g., KeyVisor), and post-quantum algorithms for IoT. His research themes include agile signature acceleration, fault attack mitigation, and hardware-software co-design for security. Notable projects include CONVOLVE (edge-AI security) and QuantumRISC (quantum-safe systems). His work bridges theoretical cryptography with practical hardware implementations, emphasizing real-world security applications.

Daniel Müller-Gritschnederمشاهده پروفایل

استاد مدعو

• TinyML
• Embedded Software Development
• Soft Error Resilience
• +۴ مورد دیگر

Daniel Müller-Gritschneder is an Adjunct Teaching Professor (Privatdozent) at the Technical University of Munich (TUM), affiliated with the Chair of Electronic Design Automation. He leads the 'Electronic System Level' research group, focusing on embedded systems, TinyML, virtual prototyping, and hardware resilience. He temporarily served as head of the Chair of Real-Time Systems (2019–2020) and holds a senior membership in IEEE. His research spans: TinyML : Optimizing neural network inference for microcontrollers. Virtual Prototyping : Fast simulation for embedded software development (e.g., ETISS simulator). Runtime Verification : Hardware monitoring for safety-critical systems. Fault Tolerance : Cross-layer resilience against soft errors. Design Automation : NoC synthesis and RISC-V toolchain optimization. His publications emphasize RISC-V-based systems, TinyML deployment, fault injection, and embedded AI. Recent works show trends toward compiler-assisted security, thermal management, and automated design-space exploration for edge devices. Awards: Best Paper Award (SiPS 2019) Habilitation Award (Bund der Freunde der TUM, 2019) 2nd Best Paper (SMACD'15) Best Paper nominations at DAC'07, DATE'10, Analog'10, NOCS'13 He advises researchers in the Electronic System Level group and contributes to EU projects (e.g., Scale4Edge). His lab develops tools like ETISS, MLonMCU, and Seal5 for RISC-V and TinyML ecosystems.

Arpan Gujaratiمشاهده پروفایل

دانشگاهی

• Real-Time Systems
• Distributed Systems
• Cyber-Physical Systems
• +۷ مورد دیگر

Arpan Gujarati is a Sessional Lecturer in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Systopia Lab. He teaches graduate and undergraduate courses such as CPSC 538G (Distributed Systems), CPSC 416 (Operating Systems), and CPEN 432 (Real-Time System Design). He holds a PhD from the Max Planck Institute for Software Systems and TU Kaiserslautern, where he was supervised by Björn B. Brandenburg. PhD: Max Planck Institute for Software Systems & TU Kaiserslautern (2020) Undergraduate: Birla Institute of Technology and Science (BITS Pilani) Postdoctoral Researcher: MPI-SWS Research Associate: UBC Software Development Engineer: Citrix R&D, India His research focuses on real-time and distributed systems, with applications in cyber-physical systems, fault tolerance, and machine learning reliability. He investigates scheduling algorithms, reliability analysis, and the integration of learning-enabled components into safety-critical systems. His work combines theoretical analysis with practical system implementations, often involving real-world testbeds and open-source tools. His recent publications span top-tier venues including RTSS, OSDI, ECRTS, DSN, and Middleware, with a strong emphasis on performance predictability, resilience of ML systems, and real-time communication. His work frequently addresses challenges in timing guarantees, fault tolerance, and system reliability in both cloud and embedded environments. SIGBED Paul Caspi Memorial Dissertation Award Best Paper Award at RTSS 2022 Distinguished Artifact Award at OSDI 2020 Best Student Paper Award at Middleware 2017 Outstanding Paper Award at RTCSA 2025 He advises several PhD students and undergraduate researchers at UBC, including Heng Zhao, Aida Aminian, Zainab Saeed Wattoo, and Philip Schowitz. He has led multiple research projects involving robotic arms, NVIDIA Holoscan, FreeRTOS, and distributed key-value stores. His lab work emphasizes reproducibility, open datasets, and practical system building. He has served on program committees for RTSS, RTAS, ECRTS, and Middleware, and contributes to journals such as Real-Time Systems and JSys.

• Embedded Systems
• Compilers
• Hardware-Software Co-Design
• +۵ مورد دیگر

Prof. Dr. rer. nat. Rainer Leupers is a faculty member at RWTH Aachen University, chairing the Department of Software for Systems on Silicon. His research focuses on embedded systems, hardware-software co-design, virtual prototyping, and security in computing-in-memory architectures. He has published extensively on RRAM accelerators, logic locking, and neuromorphic security. Chair of Software for Systems on Silicon Research in hardware security and deep learning accelerators Recent publications on cross-tool virtual frameworks and thermal side-channel attacks His work bridges system-level modeling with practical security implementations, emphasizing reliability and performance in heterogeneous computing environments. Key trends in his 2025-2023 articles include compute-in-memory optimization, neural network inference efficiency, and security vulnerabilities in emerging hardware. Awards and formal recognitions are not explicitly detailed in the provided materials. He has not directly mentioned advising students or research grants in the given text fragments. The chair's contact information includes an office at ICT Cube 1, Electrical Engineering, Aachen, with direct email and website links.

Yu Jiangمشاهده پروفایل

دانشیار

• Software Engineering
• Embedded Systems
• Fuzz Testing
• +۳ مورد دیگر

Yu Jiang is an Associate Professor at the School of Software, Tsinghua University, China. His research focuses on software security with emphasis on fuzz testing, embedded systems, and database security. He leads the Software System Security Assurance Group which has discovered over 1,000 bugs in major system software with 300+ CVEs registered. Dr. Jiang's research interests include Software Engineering , Embedded Systems Security , and Cross-Layer Fuzzing . His work addresses vulnerabilities in operating systems, databases, communication protocols, and IoT firmware through innovative fuzzing frameworks. Key contributions include semantic-aware fuzzing for heterogeneous software stacks and learning-based vulnerability detection for embedded systems. His recent publications demonstrate strong trends in database security (Hulk, PUPPY, THANOS), ransomware defense (Fawkes, Preventing Disruption), and web security (JANUS). Research spans both theoretical advances in fuzzing techniques and practical industrial applications, with significant impact evidenced by numerous distinguished paper awards. Career Award, NSFC: 2026 Distinguished Paper Award, ISSTA: 2025 First Prize for Technical Invention, CCF: 2024 Distinguished Paper Award, USENIX Security: 2024 SIGSOFT Distinguished Paper Award, FSE: 2022 Dr. Jiang has advised over 50 graduate students including 20 PhD candidates. His research is supported by major grants including NSFC projects ($600,000 for Software Trustworthiness Construction and $350,000 for Distributed Database Reliability), Huawei ($80,000 for LLM-Powered Fuzzing), and Tencent ($120,000 for LLM-Powered Unit Testing). The Software System Security Assurance Group maintains strong industry partnerships with Huawei, Alibaba, Tencent, and Webank. The group operates cutting-edge infrastructure for fuzz testing across multiple domains including database systems, operating kernels, blockchain platforms, and industrial control systems. Current projects integrate LLM technologies with traditional fuzzing techniques to enhance vulnerability detection in complex software stacks.

Pascal Sasdrichمشاهده پروفایل

پژوهشگر

• Hardware Security
• Secure Processor Design
• Computer-Aided Security
• +۳ مورد دیگر

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
• +۱۵ مورد دیگر

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 Mentensمشاهده پروفایل

استاد

• Applied Cryptography
• Hardware Security
• Secure Coprocessor Design
• +۱۲ مورد دیگر

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.

• Blockchain Technology
• Distributed Systems
• Consensus Protocols
• +۶ مورد دیگر

Mohammad Sadoghi is a Professor at the University of California, Davis, with former affiliations at Purdue University, IBM T.J. Watson Research Center, and the University of Toronto. His research focuses on distributed systems, blockchain technologies, consensus protocols, and fault-tolerant computing. He has contributed extensively to transaction processing, stream processing architectures, and the integration of edge-cloud systems with blockchain frameworks. Current Affiliation: University of California, Davis Former Affiliations: Purdue University, IBM, University of Toronto Research Interests include consensus algorithms, Byzantine fault tolerance, distributed ledger technologies, and scalable data processing. He has pioneered systems like ResilientDB and ByShard, addressing challenges in global-scale distributed systems and blockchain fabrics. His work bridges theoretical foundations with practical implementations, emphasizing real-world applications in edge computing and hybrid cloud-edge environments. Key publications highlight advancements in consensus protocols, blockchain scalability, and fault-tolerant architectures. Recent trends in his work focus on concurrent consensus mechanisms, DAG-based systems, and secure geo-replication. Contributions span both academic publications and industry-oriented solutions, such as the Bedrock platform for BFT protocol analysis. Grants and advising roles are implied through his extensive research output, though specific grants are not detailed in the provided text. His collaborations include projects on self-curating databases (e.g., L-Store) and systems like SplitJoin for stream processing.

Martin Hoffmannمشاهده پروفایل

پژوهشگر

• Embedded Systems
• Real-Time Systems
• Fault Tolerance
• +۳ مورد دیگر

Dr. Martin Hoffmann is a former research staff member at the Department of Computer Science 4 (Distributed Systems and Operating Systems) at Friedrich-Alexander-University Erlangen-Nuremberg (FAU). He now works at Brose Fahrzeugteile in Bamberg. His research focuses on dependability, fault tolerance, and real-time systems, with emphasis on embedded systems and safety-critical applications. He taught courses such as Echtzeitsysteme (Real-Time Systems) and Verlässliche Echtzeitsysteme (Reliable Real-Time Systems) across multiple semesters. His work includes projects like dOSEK (a dependability-oriented RTOS), DanceOS (fault-tolerant OS design), and CoRed (software-based redundancy for mixed-criticality systems). He also contributed to the I4Copter interdisciplinary quadrocopter project. His research interests span fault-injection frameworks, static kernel analysis, and soft-error mitigation. Notable contributions include Fail* (a versatile fault-injection tool) and dOSEK (RTOS for automotive safety). He has advised multiple students on topics like fault-tolerant garbage collectors and modular OS service frameworks. No scientific awards are explicitly mentioned in the provided text. His work emphasizes interdisciplinary collaboration, with projects bridging embedded systems, robotics, and safety-critical applications.

Stefan Winterمشاهده پروفایل

پژوهشگر

• Flaky Tests
• Robustness Testing
• Fault Injection
• +۵ مورد دیگر

Stefan Winter is a postdoctoral researcher and software engineer at LMU Munich, Germany, with a Ph.D. (Dr.-Ing.) in computer science from TU Darmstadt. He focuses on software dependability, particularly addressing non-deterministic behavior in software systems, such as flaky tests and reproducibility challenges in experimental research. Education: Ph.D. (Dr.-Ing.) in Computer Science from TU Darmstadt under Prof. Neeraj Suri. Current Role: Researcher at LMU Munich in Dirk Beyer’s group. His research spans test automation, robustness testing, fault injection, and operating systems, with a recent emphasis on mitigating flaky tests and ensuring deterministic software behavior. His work has been published in venues like ASE, ESEC/FSE, and ICSE. Stefan actively contributes to the academic community as a committee member, artifact evaluation co-chair, and session chair across conferences such as ECOOP, ISSTA, and SPLASH. He maintains expertise in reproducibility, experimental validity, and software testing frameworks.

• Internet of Things (IoT)
• Cloud Computing
• Edge Computing
• +۶ مورد دیگر

Devki Nandan Jha is a researcher specializing in Internet of Things (IoT) , Cloud/Edge Computing , and Cybersecurity . His work focuses on runtime monitoring, security frameworks, and deployment optimization in heterogeneous environments. Collaborations include institutions across Europe and Asia, with frequent co-authorship with Rajiv Ranjan, David Wallom, and David Blundell.