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

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

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

Amr Youssefمشاهده پروفایل

استاد

• Applied Cryptography
• Network Security
• Cyber-Physical Systems Security
• +۴ مورد دیگر

Amr Youssef is a Professor at the Concordia Institute for Information Systems Engineering, Concordia University. His research focuses on applied cryptography, network security, cyber-physical systems security, blockchain, and privacy. He has contributed extensively to securing smart grids, IoT devices, and web applications through cryptographic protocols and machine learning-driven solutions. His work addresses critical challenges in cybersecurity, including e-voting systems, fault-tolerant differential protection, and privacy-preserving communication protocols. He explores vulnerabilities in modern systems such as SSO permissions, JavaScript exploits, and stalkerware tools, while developing frameworks like MEGR-APT for APT detection and TEE-Receipt for non-repudiation. Youssef’s research integrates interdisciplinary approaches, combining cryptography with AI (e.g., vision transformers for power quality analysis) and leveraging trusted execution environments (TEE) for secure computing. His projects often involve collaboration with industrial standards (e.g., IEC 61850), emphasizing practical implementations in real-world systems.

Kaveh Razaviمشاهده پروفایل

استادیار

• Computer Systems
• Computer Security
• Hardware Security
• +۵ مورد دیگر

Kaveh Razavi is an Assistant Professor at ETH Zurich in the Department of Information Technology and Electrical Engineering, supervising the Computer Security Group. He is also affiliated with the Department of Computer Science. Research focuses on commodity hardware and operating systems security Teaching: Computer Engineering (BSc 2022–2025), Hardware Security (MSc 2016–2025), Advanced Operating Systems (MSc 2016–2019) Research Interests: Razavi's work bridges computer systems and security, emphasizing microarchitectural vulnerabilities, hardware exploitation, and security verification. His group develops tools for analyzing hardware-software interactions and mitigating memory attacks like Rowhammer. Scientific Awards: Distinguished/Best Paper Awards at IEEE S&P, USENIX Security, MICRO Five Pwnies Awards for innovative research Dutch Veni Grant, ERC Starting Grant Jochen Liedtke Young Researcher Award Golden Owl Teaching Award (2022) ETH Medal, Intel Bounty Reward, BlackHat USA Recognition

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

دانشیار

• security
• programming languages
• systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Daniel Genkinمشاهده پروفایل

دانشیار

• System Security
• Cryptography
• Side-Channel Attacks
• +۷ مورد دیگر

Daniel Genkin is an Associate Professor at the School of Cybersecurity and Privacy and School of Computer Science at Georgia Institute of Technology. His research spans system security, cryptography, side-channel attacks, hardware security, cryptanalysis, secure multiparty computation (MPC), verifiable computation, and SNARKs. He holds a PhD in Computer Science from the Technion - Israel's Institute of Technology and was awarded the 2024 Sloan Research Fellowship. His work focuses on microarchitectural vulnerabilities, including Rowhammer , Cache Timing , and Speculative Execution attacks. Notable contributions include co-discovering Spectre and Meltdown vulnerabilities. He has received multiple awards, including Distinguished Paper Awards , IEEE Micro Top Picks , and Black Hat Pwnie Awards . Publications highlight trends in Side-Channel Analysis , Hardware Exploitation , and Cryptographic Implementations . His email is genkin@gatech.edu , and he actively seeks students for research in security and cryptography.

Juan Zhaiمشاهده پروفایل

استادیار

• Software Engineering
• Program Languages
• Natural Language Processing
• +۶ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

Steven H. H. Dingمشاهده پروفایل

استادیار

• Cybersecurity
• Machine Learning
• Data Mining
• +۷ مورد دیگر

Dr. Steven H. H. Ding is an Assistant Professor at McGill University's School of Information Studies, specializing in cybersecurity, machine learning, and data mining. His research focuses on AI-driven solutions for malware detection, software vulnerability analysis, and reverse engineering. He holds a PhD from McGill University and has been supported by BlackBerry Cylance and DRDC. His work bridges theoretical advancements with practical applications in military systems and avionics cybersecurity. Dr. Ding earned his PhD in 2019 with notable awards including the FRQNT Doctoral Research Scholarship and McGill's Dean’s Graduate Award. His educational background includes degrees from McGill, Concordia University, and the University of Shanghai for Science and Technology. His research interests span cybersecurity domains such as zero-day malware identification, code obfuscation countermeasures, authorship verification for digital forensics, and AI applications in avionics anomaly detection. He actively contributes to open-source tools like the Kam1n0 MapReduce-based assembly clone search system. Recent work emphasizes adversarial machine learning for evasive malware generation, transformer-based anomaly detection in avionics, and automated SBOM generation for firmware analysis. His publications reflect a focus on real-world cybersecurity challenges in both civilian and defense sectors. Dr. Ding leads the L1NNA Lab and collaborates with industry partners on cutting-edge projects. His contributions include novel techniques for phishing detection leveraging large language models and innovative approaches to reverse engineering software composition in JavaScript applications.

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++)

Limin Jiaمشاهده پروفایل

استاد پژوهشی

• Security
• Programming Languages
• Formal Verification
• +۳ مورد دیگر

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

Michael Ferdmanمشاهده پروفایل

دانشیار

• Computer Architecture
• Operating Systems
• Machine Learning
• +۷ مورد دیگر

Michael Ferdman is an Associate Professor in the Department of Computer Science at Stony Brook University, where he leads research in computer architecture and systems. His office is located in Room 343 at Stony Brook, NY 11794-2424, and he can be contacted via phone (631-632-8449) or email. Ferdman directs the Computer Architecture and Systems Laboratory (compas.cs.stonybrook.edu), focusing on next-generation server infrastructure. Ferdman's research spans the entire computing stack with emphasis on: FPGA integration for server environments (Intel HARP, Microsoft Catapult) Machine learning accelerators for convolutional neural networks Server systems optimization in the post-Moore era Network processing and software-defined networking Programming models for emerging memory technologies (HBM, 3D XPoint) Reconfigurable hardware and high-level synthesis His work addresses both performance and security challenges in modern computing infrastructure. Analysis of his 15 most recent publications (2022-2025) reveals consistent focus on: Hardware acceleration techniques (FPGAs, specialized processors) Memory hierarchy optimization and cache management Security vulnerabilities in web applications and systems Post-Moore computing architectures Parallel processing and distributed systems His research shows strong emphasis on practical implementations bridging hardware and software layers. Awards recognizing his contributions include: Graduate Teaching Award (2014) Best Paper Award at ASPLOS XVII Best Paper Finalist at HPCA XVII Three IEEE Micro Top Picks selections (2009, 2012) He teaches advanced courses including CSE 502, CSE 602, and CSE 506 at Stony Brook University.

Yuan Tianمشاهده پروفایل

استادیار

• Data Mining
• Software Engineering
• Social Network Analysis
• +۳ مورد دیگر

Yuan Tian is an Assistant Professor in the School of Computing at Queen's University, Faculty of Arts and Science. She holds a PhD in Information Systems from Singapore Management University (2017) and a B.Sc. in Computer Science from Zhejiang University (2012). Her research focuses on integrating heterogeneous data sources to enhance software engineering practices, including data mining, recommender systems, and social network analysis. Prior to Queen's, she was a data scientist at Living Analytics Research Centre (LARC), SMU. She has held visiting positions at Carnegie Mellon University, INRIA Paris, and SAIL Canada. Research Interests: Data Mining Software Engineering Social Network Analysis Information Retrieval Recommender Systems Computer Security Recent Research Trends: Her work emphasizes AI-driven solutions for software bug management, code translation, vulnerability detection, and developer behavior analysis. Notable contributions include leveraging LLMs for technical debt repayment and enhancing code vulnerability detection via Graph Neural Networks. Awards: SMU Presidential Doctoral Fellowship (2015-2016) Best Paper Award at SANER 2017 Grants & Advising: No formal advisees listed, but active in collaborative projects with industry and academic partners. Labs/Teams: Previously associated with SOAR Group at SMU and currently leads research in Queen's School of Computing.

Gunes Acarمشاهده پروفایل

استادیار

• Web Security
• Privacy
• Online Tracking
• +۳ مورد دیگر

Güneş Acar is a tenured Assistant Professor in the Digital Security group at Radboud University's Faculty of Science. He is also affiliated with iHub, Radboud's interdisciplinary research hub on digitalization and society. His research focuses on security and privacy threats from websites, mobile apps, and IoT devices, with special emphasis on online tracking mechanisms, anonymous communication networks like Tor, and deceptive design patterns. Dr. Acar completed his PhD at KU Leuven under the supervision of Claudia Diaz and Bart Preneel. Prior to joining Radboud University, he was a Postdoctoral Research Fellow at KU Leuven's COSIC group and a Postdoctoral Research Associate at Princeton University's Center for Information Technology Policy. His research spans web security, privacy, online tracking, IoT security, Tor network analysis, and dark patterns. He investigates how websites, mobile apps, and IoT devices compromise user privacy through various tracking mechanisms and deceptive interface designs. His work combines large-scale measurements with user studies to understand both technical vulnerabilities and their real-world impact on users. Dr. Acar's publications reveal an evolving research trajectory from foundational web tracking mechanisms to increasingly sophisticated privacy threats. His work has expanded from browser fingerprinting to IoT privacy, children's online safety, and manipulative design patterns in subscription interfaces. A consistent theme across his research is the examination of how third-party trackers operate and circumvent privacy protections. 2022 CNIL-Inria Award for Privacy Protection (for Leaky Forms paper) Top Reviewer Award, Privacy Enhancing Technologies Symposium (2022) Future of Privacy Forum's Annual Privacy Papers for Policymakers Award (2020) Runner-up for multiple Caspar Bowden Awards for Outstanding Research in Privacy Enhancing Technologies Dutch Research Council (NWO) Vidi Grant (2025-2030) for "A Web Security and Privacy Observatory" Dr. Acar actively supervises PhD students including Zahra Moti, Tim Vlummens, and Luqman Zagi, with Asuman Senol recently completing her PhD in 2024. He has secured significant research funding including the NWO Vidi Grant and a project grant from armasuisse for the Mobile Web Inspector project. His research has influenced policy discussions with organizations including the OECD, US Federal Trade Commission, and European consumer protection authorities. As part of the Digital Security group at Radboud University, Dr. Acar contributes to a vibrant research ecosystem focused on practical security and privacy solutions. His work bridges technical security research with human-centered perspectives, often collaborating across disciplines to address complex privacy challenges in real-world contexts.

Yinzhi Caoمشاهده پروفایل

دانشیار

• Security and privacy of machine learning
• Web security and privacy
• Mobile security and privacy
• +۱ مورد دیگر

Yinzhi Cao is an Associate Professor at the Johns Hopkins University Department of Computer Science . He serves as Technical Director of the Johns Hopkins Information Security Institute and is affiliated with the Data Science and Artificial Intelligence Institute and the Institute for Assured Autonomy . Cao joined JHU in 2018 from Lehigh University, where he was an Assistant Professor. Doctor of Philosophy (PhD) in Computer Science, Northwestern University (2014) Bachelor of Engineering (BE) in Electronic Engineering, Tsinghua University (2008) Research Interests focus on security and privacy of web, mobile, and machine learning systems . Key projects include Vulnerability Analysis of Web Applications and Security, Privacy, and Fairness Analysis of ML Systems . His work addresses prototype pollution in JavaScript, node.js vulnerabilities, browser fingerprinting, federated learning privacy, and automated exploit generation. Scientific Recognition includes the NSF CAREER Award (2021) DARPA Young Faculty Award (2022) & Director's Fellowship (2024) Amazon Research Awards (2022, 2017) IEEE Security & Privacy Test of Time Award (2025) Distinguished Paper Awards at IEEE S&P 2025, CCS 2023, USENIX Security 2022 Advising & Grants highlight mentorship of 20+ PhD and Master’s students across institutions. Major grants include $1.2M collaborative CICI TCR grant (2024-2026) with Dr. John Aucott $750K DARPA YFA grant (2022-2025) $500K NSF SaTC grant (2022-2025) NSF EAGER grant (2016-2017) Labs & Teams : Affiliated with Johns Hopkins Information Security Institute , Data Science AI Institute , and Institute for Assured Autonomy . Collaborates with institutions like Columbia, UC Santa Barbara, and SRI International. His group investigates real-world vulnerabilities in over 2,500 websites and NPM packages, uncovering 80+ zero-day issues.

Michael Pradelمشاهده پروفایل

استاد

• Software Engineering
• Programming Languages
• Program Analysis
• +۹ مورد دیگر

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

• 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).