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

Shweta Shindeمشاهده پروفایل

استادیار

• Trusted Computing
• System Security
• Program Analysis
• +۴ مورد دیگر

Shweta Shinde is an Assistant Professor at ETH Zürich's Department of Computer Science. She leads the Secure & Trustworthy Systems (SECTRS) group and is affiliated with the Institute of Information Security and the ZISC Center. Her research focuses on foundational and practical aspects of trusted computing, system security, and program analysis to protect devices ranging from smartphones to cloud servers. Key areas include AMD SEV-SNP, Arm CCA, Intel SGX, and hardware-software co-design for security. Dr. Shinde has made significant contributions to confidential computing, including frameworks like OpenCCA and tools for analyzing hardware vulnerabilities. Her work has been recognized with Best Paper Awards and Distinguished Paper Awards at top venues. She advises a group of PhD students, including Mark Kuhne, Supraja Sridhara, and Benedict Schlüter. Her service includes program committee roles at IEEE Security & Privacy, USENIX Security, and as Track Co-Chair for AsiaCCS 2026.

Mingchen Gaoمشاهده پروفایل

دانشیار

• Medical Imaging Informatics
• Computer Vision
• Machine Learning
• +۳ مورد دیگر

Mingchen Gao is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, SUNY. He serves as Program Director for the Engineering Sciences (Artificial Intelligence) MS Program and is affiliated with the Institute for Artificial Intelligence and Data Science. Previously, he was a Postdoctoral Fellow at the NIH Clinical Center's Radiology and Imaging Science Department (2014–2017). His research focuses on medical imaging informatics, computer vision, and machine learning applications in healthcare. Notable projects include NSF-funded work on continual learning and federated domain adaptation. He teaches advanced courses like CSE674 (Advanced Machine Learning) and CSE703 (Deep Learning for Medical Imaging). Dr. Gao earned his Ph.D. in Computer Science from Rutgers University (2014), advised by Dimitris N. Metaxas, and a B.S. from Southeast University, China (2007). His lab develops AI systems for medical diagnosis, with recent work on robust neural networks and federated learning frameworks. His team has produced impactful algorithms for segmentation, classification, and domain adaptation in imaging tasks. Current research includes NSF CAREER Award (2023–2028) for deployable medical diagnosis systems and collaborations on drug discovery and toxicity prediction. He advises four PhD students and has authored over 60 peer-reviewed publications in top venues like NeurIPS, CVPR, and MICCAI.

• Cybersecurity
• Software Security
• System Security
• +۶ مورد دیگر

Ruoyu (Fish) Wang is an Associate Professor at the School of Computing and Augmented Intelligence, Arizona State University (Tempe campus). He also holds affiliations as Associate Director of Impact at the Global Security Initiative, Center for Cybersecurity & Trusted Foundations, and with the Biodesign Center for Biocomputing, Security and Society. His educational background includes: Ph.D. in Computer Science, University of California, Santa Barbara Professor Wang's research focuses on system security, with an emphasis on automated binary program analysis and reverse engineering of software. He is the co-founder and core developer of the angr binary analysis platform, which won third place in the DARPA Cyber Grand Challenge (2018). His work spans vulnerability discovery, fuzzing, and security tool development for binary program analysis. His current research interests include: Binary program analysis and reverse engineering Automated vulnerability discovery and mitigation Fuzzing techniques and robust testing Phishing and fraud detection in e-commerce Security of firmware and embedded systems Application of machine learning to security problems His recent publications (2024-2025) demonstrate cutting-edge research in fraud detection for e-commerce using LLMs, advanced fuzzing methodologies, and binary decompilation techniques. Key trends include bridging theoretical program analysis with practical security tools, as evidenced by extensions to the angr platform, and addressing emerging threats in financial ecosystems and client-side security. Dr. Wang has received notable recognition: Third place in DARPA Cyber Grand Challenge (2018) with team Shellphish As an active educator, he supervises graduate research (CSE 599/799) and teaches core cybersecurity courses including Software Security (CSE 545) and Information Assurance (CSE 365). His teaching spans multiple semesters through 2025, covering practicums, internships, and special topics in computing security. Dr. Wang co-founded the angr binary analysis platform and contributes to Arizona State University's security research ecosystem through leadership roles in the Center for Cybersecurity & Trusted Foundations and Biodesign Center for Biocomputing, Security and Society.

• Cryptography
• Information Security
• Cryptographic Automation
• +۳ مورد دیگر

Christina L. Garman is an Assistant Professor in the Department of Computer Science at Purdue University, where she joined in Spring 2018. Her research focuses on practical cryptography and cryptographic automation to make secure system development accessible to non-experts through error-resistant design methodologies. Her educational background includes: Bachelor of Science in Computer Science and Engineering from Bucknell University (2011) Bachelor of Arts in Mathematics from Bucknell University (2011) Master of Science in Engineering in Computer Science from Johns Hopkins University (2013) Doctor of Philosophy in Computer Science from Johns Hopkins University (2017) Professor Garman's work centers on real-world cryptographic system security, spanning protocol analysis (e.g., RC4 in TLS, Apple iMessage flaws), decentralized anonymous systems (Zerocash/ZCash), and cryptographic automation. She pioneered techniques for removing human error in cryptographic deployments through automated tools and frameworks. Her research bridges theoretical cryptography with practical implementation challenges in privacy-preserving technologies and secure infrastructure. Analysis of her 2021-2025 publications reveals expanding research horizons: hardware security vulnerabilities (Rowhammer, SGX), privacy network enhancements (Tor onion services), software supply chain security (SBOM tools), and advanced cryptographic protocols (zkSNARKs, MPC). This evolution demonstrates consistent focus on real-world security impact while diversifying into hardware-software cross-layer threats and formal verification methods for cryptographic implementations. Her major scientific recognitions include: NSF CAREER Award (2021) for cryptographic automation research ACM CCS Best Paper Award (2016) for iMessage security analysis IEEE Test of Time Award (2024) for foundational Zerocash work Professor Garman co-founded ZCash, a privacy-focused cryptocurrency based on her Zerocash protocol, and her NSF CAREER grant supports cryptographic automation development. Her research has received significant media coverage in The Washington Post, Wired, and The New York Times, highlighting real-world relevance. While specific student advising details aren't public, her active publication record indicates ongoing mentorship of graduate researchers in security and cryptography. Her work maintains strong industry connections through ZCash development and Tor network contributions, with recent projects like keyless CDNs demonstrating practical applications of cryptographic automation. She remains a leading voice in cryptographic research communities through conference participation and collaborative projects addressing evolving security challenges.

• Computer Architecture
• Computer Hardware
• Energy Efficiency
• +۴ مورد دیگر

Nam Sung Kim is the W. J. "Jerry" Sanders III-Advanced Micro Devices Inc. Endowed Chair and holds a Professorship in Electrical and Computer Engineering at the University of Illinois. He is also affiliated with the Siebel School of Computing and Data Science, Coordinated Science Lab, and National Center for Supercomputing Applications (NCSA). His research focuses on computer architecture, memory systems, chiplet integration, and hardware security. Key areas include energy-efficient computing, processing-in-memory (PIM), and mitigating hardware vulnerabilities like rowhammer attacks. Kim has received prestigious awards including IEEE Fellow (2016), MICRO Hall of Fame (2018), NAI Fellow (2023), and NSF CAREER Award (2015). His work spans publications in top venues like ASPLOS and IEEE journals, addressing topics such as CXL-based memory systems, DRAM module optimization, and GPU architecture improvements. Collaborations emphasize interdisciplinary research in hardware-software co-design and emerging technologies. His labs and teams at Coordinated Science Lab and NCSA drive innovations in scalable computing, near-memory processing, and cloud infrastructure for AI workloads. Ongoing projects include developing resilient memory hierarchies and accelerating large-scale machine learning models through novel architecture designs.

Dimitris Gizopoulosمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Fault Tolerance
• +۵ مورد دیگر

Prof. Dimitris Gizopoulos is a Professor at the Department of Informatics & Telecommunications, University of Athens, leading the Computer Architecture Laboratory. His research focuses on fault tolerance, design validation, performance, and energy efficiency in microprocessors, GPUs, and AI accelerators. He is an IEEE Fellow (2013) and ACM Distinguished Member (2022). His work is supported by Horizon Europe projects like DARE, Neuropuls, and Vitamin-V, alongside industry grants from AMD, Cisco, and Meta. He participates in networks like HiPEAC and Eurolab4HPC and serves on editorial boards of journals including ACM Computing Surveys and IEEE Transactions on Computers . Prof. Gizopoulos teaches Computer Architecture courses at both undergraduate and graduate levels. His research spans cross-layer reliability analysis, voltage scaling effects, and secure hardware design. Notable contributions include frameworks for GPU reliability assessment (GUFI, GPUI-4) and tools like MerLIN for microarchitecture-level analysis. His lab’s work has been funded by the EuroHPC Joint Undertaking and the Greek-China Research Collaboration program. Key Projects: DARE (RISC-V Europe), Neuropuls (neuromorphic accelerators), Vitamin-V (RISC-V cloud environments). Awards: IEEE Fellow (2013), ACM Distinguished Member (2022), IEEE Golden Core (since 2002). Industry Partnerships: AMD, Cisco, Bosch, NVIDIA, Intel, IBM Research. Labs: Leads the Computer Architecture Lab, focusing on fault tolerance and energy-efficient computing. His work emphasizes bridging hardware-software co-design challenges, with publications in top venues like IEEE Transactions on Computers and ACM Computing Surveys . Recent efforts include analyzing silent data corruptions (SDCs) in CPUs and GPUs, and developing validation frameworks for cloud-native architectures.

• Systems and Network Security
• Applied Cryptography
• Cybersecurity
• +۹ مورد دیگر

Dr. Angelos D. Keromytis is the John H. Weitnauer, Jr. Endowed Chair Professor and Georgia Research Alliance (GRA) Eminent Scholar at the School of Electrical and Computer Engineering , Georgia Institute of Technology . He is a globally recognized leader in systems and network security and applied cryptography , with over 250 publications and 67 issued US patents. He is an elected Fellow of both the IEEE and ACM, and previously served as a Program Manager at DARPA and Program Director at NSF. Education: Ph.D. in Computer Science, University of Pennsylvania (2001) M.Sc. in Computer Science, University of Pennsylvania (1997) B.Sc. in Computer Science, University of Crete, Greece (1996) Research Interests: Dr. Keromytis's research spans a broad spectrum of cybersecurity topics, including: Systems and Network Security : He has led foundational work in secure systems design, intrusion detection, and network anomaly detection. Applied Cryptography : His work includes cryptographic protocols, secure communications, and privacy-preserving systems. Hardware and Side-Channel Security : He has pioneered techniques for detecting hardware Trojans using electromagnetic side-channels. Cloud and IoT Security : He has developed novel approaches to securing cloud services and IoT devices. Software Security : His work includes defenses against malware, return-oriented programming (ROP), and automated software patching. Scientific Awards: John H. Weitnauer, Jr. Endowed Chair Georgia Research Alliance (GRA) Eminent Scholar IEEE Fellow (2018) ACM Fellow (2017) ACM Distinguished Scientist (2012) DARPA Superior Public Service Medal DARPA Results Matter Award Advising and Grants: Dr. Keromytis has advised over 30 Ph.D. students and numerous postdocs. He has secured over $35M in research funding from agencies like DARPA, NSF, IARPA, ONR, and AFRL. His recent grants include: DARPA SMOKE : $22.7M for "Antikythera" cybersecurity framework NSF SaTC : $1.2M for mobile network anti-tracking architecture DARPA CHASE : $1.7M for network abuse behavioral engine DARPA OPS-5G : $7.3M for large-scale adversary defense ONR : $4.4M for dormant hardware Trojan detection Labs and Teams: He co-founded and co-directs the Center for Cyber Operations Enquiry and Unconventional Sensing (COEUS) at Georgia Tech. Previously, he founded and directed the Network Security Lab (NSL) at Columbia University, which produced foundational research in network security, intrusion detection, and software protection.

Mathias Payerمشاهده پروفایل

دانشیار

• Software Security
• System Security
• Binary Exploitation
• +۳ مورد دیگر

Mathias Payer is an Associate Professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive Laboratory . His work focuses on software security, particularly addressing memory corruption and type violations through binary analysis and compiler-based techniques. He contributes to research in secure system design, fault isolation, and fuzzing methodologies. Current PhD students : Di Bartolomeo Luca, Feng Zhiyao, Hofhammer Florian, Lyu Tao, Mao Philipp Yuxiang, Zhang Chibin, Zheng Han Past EPFL PhD students: Badoux Nicolas Daniel, Bhattacharyya Atri, Hazimeh Ahmad His research explores software security in areas like: Protecting applications from vulnerabilities Binary exploitation and mitigation Compiler-driven security hardening Strong sanitization and privilege separation Memory corruption detection The HexHive group develops tools and frameworks for: Automated fuzz driver generation Gradual compartmentalization State inference for feedback optimization Secure cell architectures Recent publications highlight advancements in: Fuzzing hybrid approaches (e.g., DUMPLING, MendelFuzz) Memory safety validation (QMSan, Pacmem) Compiler-assisted defenses (Gradient, Type++)

• Web Security
• Software Security
• Secure Programming
• +۳ مورد دیگر

Prof. Dr. Martin Johns serves as Chair of Application Security at the Institute for Application Security within the Carl Friedrich Gauss Faculty at Technical University Braunschweig. He joined TU Braunschweig after working as Research Expert at SAP Security Research, where he shaped security strategy and led software security teams. Prior to SAP, he worked as software engineer in Germany at companies like TC Trustcenter and Infoseek Germany. Academic qualifications include a PhD in Computer Science (University of Passau, 2009) and a Diploma in Computer Science (University of Hamburg, 2003). His research focuses on web security and software security , particularly secure programming , vulnerability detection , and attack mitigation strategies. Recent publications cover topics like GDPR compliance frameworks , WebAssembly security , federated learning privacy , and server-side request forgery (SSRF) defenses. His work appears in top conferences including IEEE S&P, CCS, WWW, and ACM CODASPY.

Caroline Trippelمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware Security
• Formal Methods
• +۵ مورد دیگر

Caroline Trippel is an Assistant Professor in the Departments of Computer Science and Electrical Engineering at Stanford University. Her research focuses on ensuring correctness and security in computer systems through formal methods, with particular emphasis on hardware verification, memory consistency models, and mitigating vulnerabilities like Spectre/Meltdown. She previously worked at Facebook’s FAIR SysML group before joining Stanford. Education: PhD in Computer Science, Princeton University BS in Computer Engineering, Purdue University Her work has influenced the RISC-V ISA memory consistency model and produced tools like CheckMate, which automatically synthesizes hardware exploits for security verification. She explores privacy-preserving ML, ML-driven hardware optimizations (e.g., neural recommendation), and datacenter reliability. Her research has earned awards including the 2020 ACM SIGARCH Dissertation Award and NVIDIA Fellowship. Key contributions include: Formal analysis of RISC-V memory models Exploitation synthesis frameworks (CheckMate) Hardware-software contracts for security Defenses against microarchitectural side-channel attacks Current projects include: VeriCoder: LLM-enhanced RTL code verification Multi-μPATH synthesis for security validation Near-data processing (RecSSD) for recommendation systems

Rajendran Jeyavijayanمشاهده پروفایل

دانشیار

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

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.

Yanan Guoمشاهده پروفایل

استادیار

• Computer Architecture
• Cybersecurity
• GPU Computing
• +۴ مورد دیگر

Yanan Guo is an Assistant Professor in the Department of Computer Science at the University of Rochester, specializing in computer architecture and cybersecurity. Her research focuses on GPU memory safety, side-channel attacks, quantum computing, and machine learning security, with recent projects exploring cross-VM side-channel vulnerabilities and quantum circuit simulation. PhD, University of Pittsburgh (advisor: Dr. Jun Yang) Her work bridges hardware and software security, addressing issues like GPU cache eviction mechanisms, memory corruption attacks, and adversarial threats in neural networks. She actively collaborates with researchers like Youtao Zhang and Jun Yang, with publications in top venues including USENIX Security, MICRO, and ICML. Recent publications highlight trends in GPU security (memory safety, side-channel attacks), quantum computing optimizations, and adversarial machine learning. Her team’s projects have received recognition such as the NSF OAC grant for AI workflow security and features in IEEE Transactions on Computers. Featured Paper in IEEE Transactions on Computers (02/22 issue) Shortlisted for Top Picks in Hardware and Embedded Security 2023 Dr. Guo mentors PhD students and offers weekly office hours for undergraduates, emphasizing career paths, graduate applications, and research guidance. She serves on program committees for conferences like USENIX Security and ASPLOS.

Yonghwi Kwonمشاهده پروفایل

استادیار مهمان

• Software Systems Security
• Cyber Forensics
• Software Engineering
• +۳ مورد دیگر

Yonghwi Kwon is a Visiting Assistant Professor in the Department of Computer Science at the University of Virginia. His research focuses on software systems security, cyber forensics, and software engineering. He received the CAREER Award for developing dynamic defenses against cyber threats. His work emphasizes securing software from cyber attacks, recovering forensic evidence, and improving software testing and reverse engineering techniques. Key research areas include memory safety mechanisms, automated vulnerability detection in web applications and mobile systems, and forensic analysis of phishing campaigns. He has pioneered frameworks like CMASan for memory allocator-aware sanitization and Racedb for detecting race conditions in database-backed systems. His contributions span cloud security automation, kernel exploitation analysis, and embedded system fuzzing. Notable achievements include the 2025 CAREER Award supporting his dynamic defense research, and impactful publications in areas like Android information leakage detection (DryJIN), Bluetooth protocol fuzzing (BTFuzzer), and autonomous driving bug discovery (Drivefuzz). His work bridges theoretical computer science with practical cybersecurity solutions.

Andrew Kwongمشاهده پروفایل

استادیار

• Computer Security
• Applied Cryptography
• Side-Channel Attacks
• +۴ مورد دیگر

Andrew Kwong is an Assistant Professor at the University of North Carolina at Chapel Hill in the Department of Computer Science. His research focuses on computer security and applied cryptography, particularly side-channel attacks and defenses, including Rowhammer, Spectre, and cache timing vulnerabilities. He teaches courses such as Hardware Security and Side-Channels and Research Topics in Computer Security , covering topics like transient execution attacks, speculative probing, and cryptographic implementation flaws. Department of Computer Science, UNC Chapel Hill Assistant Professor Teaching COMP 790-184 (Hardware Security) and COMP 790-185 (Computer Security Research) His research involves cutting-edge work on hardware vulnerabilities, including Rowhammer-based key recovery in post-quantum cryptography, cache eviction side-channels, and speculative execution attacks. His publications appear at top venues like IEEE S&P, CCS, and USENIX Security. He received a Best Paper Award Honorable Mention at CCS 2022 for his work on FrodoKEM exploitation. Key trends in his publications include leveraging hardware flaws for data leakage, cryptographic protocol breakdowns, and combining transient execution with memory corruption attacks. His work has implications for hardware design security and cryptographic implementation practices. Best Paper Award Honorable Mention, CCS 2022 Contact: andrew@cs.unc.edu

Andrea Continellaمشاهده پروفایل

دانشیار

• Systems Security
• Malware Detection
• Privacy Leak Detection
• +۷ مورد دیگر

Andrea Continella is an Associate Professor at the Faculty of Electrical Engineering, Mathematics and Computer Science of the University of Twente, where he contributes to the International Secure Systems Lab (iSecLab). His research focuses on systems security, particularly embedded firmware security, Android app security, malware detection, and program analysis techniques for vulnerability discovery. Ph.D. in Computer Science and Engineering, Politecnico di Milano (cum laude) Postdoctoral Researcher, Computer Science Department, UC Santa Barbara Visiting Researcher, School of Computer Science, University of Sydney Key research contributions include: Developing automated analysis techniques for embedded firmware (KARONTE, ShieldFS) Creating privacy leak detection mechanisms for mobile applications Designing ransomware defense systems using self-healing filesystems Advancing IoT security through misconfiguration detection (S3 buckets) and protocol analysis Pioneering semi-supervised methods for network traffic fingerprinting (FlowPrint) Scientific awards: Dutch Cyber Security Best Research Paper Award 2024 Runner-up USENIX Security Distinguished Reviewer Award 2024 Professional activities: Keynote speaker on firmware security (2024) Member of IPN Cyber Security Special Interest Group Oral presentations on automated vulnerability research (2023)