جست‌وجوی استاد و پژوهشگر

Xinwen Fuمشاهده پروفایل

استاد

• Computer Security and Privacy
• IoT Security and Privacy
• Mobile Security
• +۷ مورد دیگر

Dr. Xinwen Fu is a Professor in the Miner School of Computer & Information Sciences at the University of Massachusetts Lowell, where he also serves as Director of the iSAFER Center. He received his Ph.D. in Computer Engineering from Texas A&M University (2005), M.S. in Electrical Engineering from University of Science and Technology of China (1998), and B.S. in Electrical Engineering from Xi'an Jiaotong University (1995). Research Interests Dr. Fu specializes in Computer Security and Privacy , with particular focus on IoT Security , Mobile Security , Network Security , and Digital Forensics . His research has been published in all four top computer security conferences: IEEE Symposium on Security and Privacy (S&P/Oakland), ACM Conference on Computer and Communications Security (CCS), USENIX Security Symposium, and Network and Distributed System Security Symposium (NDSS), as well as prestigious journals like ACM/IEEE Transactions on Networking and IEEE Transactions on Dependable and Secure Computing. His work has gained significant media attention from CNN, Wired, Huffington Post, Forbes, Yahoo, MIT Technology Review, and PC Magazine, including multiple appearances on CNN Domestic and International. He has also served as TPC member for numerous prestigious conferences including ACM CCS, IEEE INFOCOM, and IEEE ICDCS. Scientific Awards Best paper award at IEEE International Conference on Industrial Internet (ICII) 2019 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2017 Teaching Excellence Award of Department of Computer Science, UMass Lowell, 2016 Best paper award, International Performance Computing and Communications Conference (IPCCC) 2016 Award of Excellence, GeekPwn 2016 Ethic Smart Life Hack Competition Erich Spengler Student Cyber Paper Award with students, The Colloquium for Information Security Education (CISSE), 2016 Spotlight Paper of the IEEE Transactions on Mobile Computing (TMC), February 2014 Best paper award, International Conference on Wireless Algorithms, Systems, and Applications (WASA), 2013 Best paper award, IEEE International Conference on Communications (ICC): Communications and Information Security Symposium, 2013 Teaching award, Department of Computer Science, University of Massachusetts Lowell, 2011

Ardalan Amiri Saniمشاهده پروفایل

دانشیار

• Mobile Systems
• Operating Systems
• Security
• +۵ مورد دیگر

Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.

Lianying Zhaoمشاهده پروفایل

دانشیار

• Trusted Computing
• Hardware/Architectural Security
• Systems Security
• +۳ مورد دیگر

Lianying Zhao is an Associate Professor in the School of Computer Science at Carleton University and serves as a Director of the Carleton Computer Security Lab (CCSL). His research focuses on low-level platform security, including hardware, firmware, hypervisor, and operating systems, with an emphasis on trusted computing, authentication, privacy preservation, and security metrics. He leads the CCSL research group, collaborating with interdisciplinary teams to address critical security challenges in IoT, cloud systems, and web applications. Education: Not explicitly listed in provided texts. Roles: CCSL Director, Research Supervisor, and Graduate Program Advisor. Dr. Zhao’s work spans hardware security improvements, firmware vulnerability analysis, and user-centric security metrics. Recent research highlights include studies on router configuration habits, tracker detection in web browsers, and CVSS score discrepancies. He has supervised numerous graduate students in cybersecurity domains, contributing to over 30 peer-reviewed publications since 2013. His lab affiliations include CCSL and CISL, where he collaborates on projects such as secure deletion frameworks, TLS validation vulnerabilities, and hybrid decision-making models for cloud security. Current research also explores cross-regional login throttling mechanisms and AI-driven vulnerability detection in embedded systems.

Xiaoguang Wangمشاهده پروفایل

استادیار

• Systems and Software Security
• Heterogeneous CPU Architectures
• Secure Software Systems Design
• +۴ مورد دیگر

Xiaoguang Wang is an Assistant Professor in the Department of Computer Science at the University of Illinois Chicago. His research spans systems and software security, focusing on heterogeneous CPU architectures, secure software systems, and virtualization-based security frameworks. He actively mentors PhD and Master’s students and offers funded research opportunities for UIC students. University of Illinois Chicago, Department of Computer Science Research: Systems & Software Security, Heterogeneous Architectures, Virtualization His work includes projects like sMVX (multi-variant execution), Dapper (live program rewriting), and DynaCut (dynamic program customization). Recent publications address cross-architecture process migration, Linux kernel security, and using large language models (LLMs) for software security. He teaches advanced courses such as CS 487: Building Secure Computer Systems and CS 594/561: Adv. Linux Kernel Programming , emphasizing hands-on kernel development and security techniques. Grants from the U.S. Office of Naval Research and NSF support his work on secure systems and cross-architecture security solutions.

Orran Kriegerمشاهده پروفایل

استاد

• Cloud Computing
• Operating Systems
• Virtualization
• +۳ مورد دیگر

Orran Krieger is a Professor in the Department of Electrical and Computer Engineering at Boston University. He serves as the Founding Director of the Cloud Computing Initiative (CCI) and Resident Fellow of the Hariri Institute for Computing and Computational Science & Engineering. His work focuses on cloud computing infrastructure, operating systems, and virtualization technologies. Prior roles include leading the Advanced Operating System Research Department at IBM T.J. Watson and contributing to VMware's vCloud initiatives. Education: PhD and MASc in Electrical Engineering from the University of Toronto. Research interests include cloud resource management, unikernel-based systems, security in distributed environments, and performance optimization. His leadership in the Massachusetts Open Cloud project and Open Cloud Testbed (OCT) demonstrates expertise in scalable cloud platforms. Key contributions span innovations in OS design (e.g., EbbRT framework), cloud marketplace architectures, and hardware-as-a-service models. His research bridges theoretical advancements with practical implementations in modern data centers.

Chung Hwan Kimمشاهده پروفایل

استادیار

• Computer Systems Security
• Cyber-Physical Security
• Software Security and Reliability
• +۳ مورد دیگر

Chung Hwan Kim serves as an Assistant Professor in the Department of Computer Science at the University of Texas at Dallas, where he directs the Software & Systems Security Laboratory (S³ Lab). His research focuses on critical security challenges in cyber-physical systems, embedded devices, and cloud infrastructure, with recognition including the NSF CAREER Award and UT Dallas New Faculty Research Symposium Grant. His expertise spans Computer Systems Security , Cyber-Physical Security , and Software Security and Reliability , emphasizing practical solutions for robotic vehicles, autonomous systems, and trusted execution environments. Current projects address signal injection attacks, resilience testing, and confidential computing through innovative fuzzing frameworks and hardware-assisted protections. Recent publications (2020-2026) reveal three dominant research thrusts: (1) Security for autonomous/robotic systems ( DriveFuzz , IMUFUZZER ), (2) Trusted execution in constrained environments ( Vessels , GEVisor ), and (3) Automated vulnerability discovery ( HFL , TZ-DATASHIELD ), consistently appearing in top venues like IEEE S&P and USENIX Security. Key honors include: NSF CAREER Award (premier early-career recognition) UT Dallas New Faculty Research Symposium Grant Top 10 finalist for CSAW Best Applied Research Paper Award (2018) As principal investigator of the S³ Lab, Kim mentors graduate researchers and secures competitive funding for projects spanning robotic vehicle security, embedded systems hardening, and confidential computing. His teaching portfolio includes Operating Systems, Information Security, and specialized courses on CPS/IoT security. The S³ Lab develops deployable security tools like TZ-DATASHIELD for embedded data protection and IMUFUZZER for resilience testing of aerial vehicles, collaborating with industry partners to translate research into real-world solutions for autonomous systems and critical infrastructure.

Bernhard Heinlothمشاهده پروفایل

پژوهشگر

• Operating Systems
• Kernel Optimization
• Compiler-Based Tailoring
• +۴ مورد دیگر

Bernhard Heinloth, M.Sc., is affiliated with the Department of Computer Science (INF) at Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), specifically within Chair of Computer Science 4 (System Software). His research focuses on system software optimization, kernel tailoring for embedded systems, and dynamic software updates. He has contributed to projects like Luci (dynamic shared object updates), Cocoon (on-demand kernel compilation), and Honey (binary library reduction). Teaching activities include leading exercise sessions for courses such as Betriebsysteme (Operating Systems), Systemnahe Programmierung in C (Low-Level Programming), and Praktikum angewandte Systemsoftwaretechnik (Systems Software Lab). He has advised numerous master's theses on topics ranging from interrupt latency analysis to compiler-based OS optimization. His publications span academic venues like USENIX ATC, PLOS, and SBESC, with a strong emphasis on practical system software engineering. Current work continues exploring compiler-driven system optimizations and real-time kernel performance.

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

استاد

• Computer Security
• Hardware Security
• Cryptography
• +۴ مورد دیگر

Stefan Mangard is a Professor at the Institute of Information Security at Technische Universität Graz (TU Graz). His primary research focuses on hardware security, cryptographic countermeasures, and mitigating vulnerabilities in computer systems. He specializes in side-channel attacks, fault attacks, and secure processor architectures. Current work includes defending against kernel exploits, memory safety mechanisms, and cryptographic protocol implementations. His research interests span topics such as kernel data structure protection, memory tagging systems, and scalable isolation techniques. He has pioneered defenses against cache attacks, fault-induced control-flow hijacking, and side-channel vulnerabilities in embedded systems. Notable projects include KernelSnitch for kernel data structure analysis and TME-Box for Intel-based memory encryption. Recent work emphasizes practical exploitation of defenses (e.g., TLB side-channels), RISC-V enclave architectures (SPEAR-V), and cross-cache attacks in Linux kernels. His contributions bridge hardware-software co-design for robust security mechanisms, with a focus on real-world exploit scenarios and commodity hardware compatibility.

• Microarchitectural Side-Channel Attacks
• System Security
• CPU Security
• +۶ مورد دیگر

Dr. Michael Schwarz is a tenured faculty member at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, where he leads the RootSec research group. Since 2020 he has been investigating microarchitectural side-channel attacks, system security, CPU security, transient-execution vulnerabilities, and corresponding defense mechanisms. He previously served as a post-doctoral researcher (2019–2020) and PhD student (2016–2019) at Graz University of Technology, after earning two master’s degrees in computer science and software engineering with a security focus. Education PhD, Graz University of Technology, 2019 — “Software-based Side-Channel Attacks and Defenses in Restricted Environments” (Advisor: Daniel Gruss) MSc, Computer Science, Graz University of Technology MSc, Software Engineering, Graz University of Technology Research Interests Dr. Schwarz’s work centers on microarchitectural side-channel attacks and system security , spanning: CPU security and transient-execution vulnerabilities (Meltdown, Spectre, Fallout, LVI, ZombieLoad, ÆPIC Leak, CacheWarp) Detection, mitigation, and formal guarantees against microarchitectural leakage Hardware–software co-design for secure operating systems and trusted execution environments Reverse engineering of CPU internals, cache architectures, and prefetchers Browser and web-platform security, including sandbox bypasses and fingerprinting Compiler security and constant-time programming enforcement Scientific Awards & Recognition 2022 Busy Beaver Award for “Foundations of Cybersecurity II” 2021 Busy Beaver Award for “Side-Channel Attacks and Defenses” 2020 EuroSys Roger Needham PhD Award 2019 IEEE S&P Distinguished Paper Award (Spectre) 2019 NSA Best Scientific Cybersecurity Paper Competition Honorable Mention (Meltdown) 2019 Open Exploit Award (Meltdown & Spectre) 2018 CSAW Best Paper Award (Meltdown) 2018 Pwnie Awards: Best Privilege Escalation Bug & Most Innovative Research 2023 USENIX Security Noteworthy Reviewer Award 2023 WOOT Best Paper Award (CustomProcessingUnit) 2022 Pwnie Award for Best Desktop Bug (ÆPIC) 2022 AI 2000 Security & Privacy Honorable Mention 2021 CCSW Best Paper Award & CSAW Best Paper 3rd Place Advising & Collaborations Dr. Schwarz currently mentors numerous PhD students and post-docs within the RootSec group. His collaborations extend across CISPA, Graz University of Technology, and an international network visible through extensive multi-author publications at top-tier venues including USENIX Security, IEEE S&P, ACM CCS, NDSS, ESORICS, DIMVA, ASPLOS, WWW, FC, and specialized microarchitecture security conferences. Labs & Teams He heads the RootSec Research Group at CISPA, whose core mission is to uncover, analyze, and mitigate microarchitectural and system-level security threats. The group maintains close links with industry partners, open-source communities, and policy makers to ensure that research findings are rapidly translated into practical defenses deployed in modern operating systems and processors.

• Microarchitectural Attacks
• Side-Channel Attacks
• System Security
• +۳ مورد دیگر

Dr. Michael Schwarz is a tenured professor at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. His research focuses on microarchitectural side-channel attacks and system security , with notable contributions to vulnerabilities like Meltdown , Spectre , and ZombieLoad . He leads the RootSec Research Group and is a regular speaker at top-tier conferences including Black Hat and IEEE S&P. PhD in Computer Science from Graz University of Technology (2019) Two master’s degrees in Computer Science and Software Engineering His work spans CPU security , transient execution attacks , and side-channel defenses , with 15 recent publications on topics like cache timing analysis, browser sandbox breaches, and compiler-induced vulnerabilities. Awards include multiple Busy Beaver Awards , Pwnie Awards , and recognition for foundational papers like Meltdown . Collaborated with Daniel Gruss (PhD advisor) Advises on hardware-software security interactions Publications reveal a trend toward microarchitectural attack surfaces and practical exploitation frameworks , often leveraging hardware features (e.g., CPU caches, prefetchers) for security analysis. He has also contributed to secure memory allocation and browser-based fingerprinting research.

• Operating Systems
• Virtualization
• Cloud Computing
• +۵ مورد دیگر

Orran Krieger is a Professor in the Department of Computer Science at Boston University's College of Engineering with a distinguished research career spanning over three decades. His work has significantly influenced the fields of operating systems, virtualization, and cloud computing, with publications in top-tier venues including OSDI, EuroSys, and USENIX ATC. Krieger's research interests focus on operating system design, virtualization technologies, cloud infrastructure, resource management, and performance optimization. His early work on the HFS file system and NUMAchine multiprocessor laid foundational work in system architecture, while his more recent research addresses contemporary challenges in cloud computing, unikernels, and energy-efficient network applications. His research consistently bridges theoretical insights with practical system implementations. Analysis of Krieger's recent publications reveals a strong focus on cloud-native technologies, particularly unikernels, resource isolation techniques, and performance-energy tradeoffs in network applications. His work demonstrates a consistent evolution from traditional operating system concerns to modern cloud infrastructure challenges, with particular emphasis on security, performance optimization, and resource management in distributed environments. The collaborative nature of his work is evident through numerous co-authorships across institutions. Krieger has mentored numerous researchers who have become prominent in the systems community, including Jonathan Appavoo, Dilma Da Silva, and Peter Desnoyers. His leadership in projects like the Open Cloud Testbed demonstrates his commitment to creating research infrastructure for the broader community. His work has been supported by significant research grants focused on cloud infrastructure and operating system innovation. As a key contributor to the K42 operating system project and more recently to the Open Cloud Testbed initiative, Krieger has helped establish research platforms that have enabled significant advances in operating system research and cloud computing. His ongoing research continues to address fundamental challenges in system architecture for modern computing environments.

Daniel O'Keeffeمشاهده پروفایل

مدرس ارشد

• distributed systems
• security
• databases
• +۷ مورد دیگر

Daniel O'Keeffe is a Senior Lecturer in Computer Science at the Department of Computer Science, Royal Holloway University of London (RHUL). He is affiliated with the Centre for Programming Languages and Systems (CPLS) and the Systems and Software Security Lab (S3Lab). PhD from University of Cambridge Computer Laboratory Post-doctoral research at Imperial College London Industry experience in financial software engineering His research spans distributed systems, security, databases, and networking, with a focus on cloud computing security and blockchain security. Recent work explores performance-security trade-offs in proof-of-stake blockchains under the Revoke project. Key research projects include SecureCloud (cloud security for critical infrastructure), ITA-DSM (edge computing stream processing), SeReCa (secure hardware for cloud protection), and CloudSafetyNet (data leakage monitoring). Current projects receive funding from the Engineering and Physical Sciences Research Council (EPSRC) and the Ethereum Foundation. Scientific Awards : ERA Track - Best Paper Award at SANER 2024 Grants : REDONDA: EPSRC-funded project on Byzantine State-Machine Replication for blockchain (2024-2027) Consensus-layer mitigations for validator ransomware attacks: Ethereum Foundation grant (2022-2023) Labs & Groups : Centre for Programming Languages and Systems (CPLS) Systems and Software Security Lab (S3Lab) OPERA group (University of Cambridge) LSDS group (Imperial College London)

Ronghui Guمشاهده پروفایل

دانشیار

• Programming Languages
• Operating Systems
• Blockchain
• +۷ مورد دیگر

Ronghui Gu is the inaugural Tang Family Associate Professor of Computer Science at Columbia University's Fu Foundation School of Engineering and Applied Science. He leads a research group focused on building verified systems software and serves on program committees for major conferences including PLDI, POPL, OSDI, and SOSP. His educational background includes: Ph.D. in Computer Science from Yale University (2016), where he received the Distinguished Dissertation Award B.S. in Computer Science from Tsinghua University (2011), graduating with Highest Distinction (3 out of 140) Gu's research centers on certified software systems, spanning programming language design, OS kernel development, formal semantics, compiler development, proof engineering, and concurrency. His work bridges theoretical foundations with practical systems, particularly in the areas of formal verification for operating systems, distributed protocols, and quantum computing. He has pioneered approaches that combine formal methods with machine learning techniques to automate verification tasks that were previously intractable. Analysis of his publication record shows a clear trajectory from foundational work on verified operating systems (CertiKOS, mCertiKOS) to broader applications in distributed systems (DistAI, DuoAI), quantum computing (Gleipnir, Giallar, HyperQ), and blockchain security. His recent work increasingly focuses on automation techniques that make formal verification practical for real-world systems. His notable achievements include: OSDI Jay Lepreau Best Paper Award (2021) SOSP Best Paper Award (2019) Multiple Amazon Research Awards (2021-2025) NSF CAREER Award (2023) VMware Systems Research Award (2023) CACM Research Highlight Gu has secured substantial research funding including a $4.5 million DARPA grant for Verified Enclave Layers. He has advised numerous PhD students who have gone on to positions at top institutions and companies. As founder of CertiK, a Web3 cybersecurity unicorn valued at $2 billion, he has successfully translated academic research into real-world impact, securing over $300 billion in cryptocurrency assets. His lab maintains active collaborations with industry partners including VMware, AWS, Google, and quantum computing companies, focusing on making formal verification practical for critical systems.

Timo Hönigمشاهده پروفایل

استاد

• Operating Systems
• Energy Efficiency
• Computer Security
• +۳ مورد دیگر

Timo Hönig is a Professor and Head of the Chair for Operating Systems and System Software at the Faculty of Computer Science, Ruhr-University Bochum. His research focuses on energy efficiency, persistent memory systems, computer security, and system software design. Current projects include DFG-funded SUSTAINET-inNOvAte and DOSS , with former projects like InvasIC (DFG/Transregio 89) and Antillas (BMBF/VDI). He serves on program committees for HotCarbon, DIMES, DSN, DATE, and other conferences. His recent publications address energy profiling, carbon-aware memory placement, kernel security, and persistent OS design. He has received best paper awards at SBESC'22 and ISORC'17. Scientific Awards: Best Paper at SBESC'22 Best Paper at ISORC'17 His teaching includes courses on operating systems, resource-efficient systems, and energy-aware computing. He has advised numerous research collaborations on embedded systems, concurrency, and sustainable computing.

Chung Hwan Kimمشاهده پروفایل

استادیار

• Computer Systems Security
• Cyber-Physical Security
• Software Security
• +۲ مورد دیگر

Dr. Chung Hwan Kim is an Assistant Professor in the Department of Computer Science at UT Dallas' Erik Jonsson School of Engineering. His research focuses on system security, including embedded systems protection, trusted execution environments, and automated bug detection. He directs the Software & Systems Security Laboratory and holds affiliated appointments in Electrical Engineering. Key research areas include developing compartmentalization techniques for embedded devices (TZ-DATASHIELD), securing GPU computations via CPU enclaves, and fuzzing methods for autonomous driving systems. His publications demonstrate consistent innovation in hardware-assisted security and vulnerability detection. Dr. Kim received the UT Dallas New Faculty Research Award (2021) and was a CSAW Best Paper Finalist (2018). His industry experience includes prior work at NEC Labs developing security solutions for enterprise systems.