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

Gururaj Saileshwarمشاهده پروفایل

استادیار

• Microarchitectural Security
• System Security
• Memory Safety
• +۵ مورد دیگر

Gururaj Saileshwar is an Assistant Professor in the Department of Computer Science at the University of Toronto, within the Mathematical and Computational Sciences school. His research focuses on securing computing hardware and systems, with a focus on microarchitectural security (cache side-channels, Rowhammer attacks), system security (memory safety), and security for machine learning systems. Education: PhD in Computer Science from Georgia Institute of Technology (2019), advised by Prof. Moinuddin Qureshi. B.Tech and M.Tech from Indian Institute of Technology Bombay (India). Prior to UofT, he was with NVIDIA Research. Research interests include developing new attacks, defenses, and tools for automated security analysis. His work has received multiple awards including the IEEE Top Pick in Hardware and Embedded Security, HPCA Best Paper Award, and IEEE HOST Best PhD Dissertation Award. He teaches courses on secure computer systems and hardware security, including CSC427 (Computer Security) and a topics course on secure computer systems. His lab focuses on hardware-software co-design solutions for security and reliability challenges in modern computing systems. Labs/Teams: Leads the Secure Hardware Systems Lab at UofT, collaborating on Rowhammer mitigation, cache attack defenses, and machine learning security. Grants: Active funding from NSF, industry partnerships with NVIDIA, and other hardware security initiatives. Advising: Currently recruiting PhD students interested in hardware security, system security, and machine learning systems security.

Pedro Fonsecaمشاهده پروفایل

استادیار

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

Pedro Fonseca is an Assistant Professor at the Department of Computer Science, Purdue University. He leads the Reliable and Secure Systems Lab, focusing on building reliable and secure core software systems such as operating systems, hypervisors, and distributed systems. His research has been recognized with awards including the NSF CAREER Award and Google Faculty Research Awards. Before Purdue, he completed a postdoc at the University of Washington, working with Arvind Krishnamurthy, Hank Levy, and Xi Wang. He earned his PhD from MPI-SWS and the University of Saarland under Rodrigo Rodrigues. His academic contributions span over 30 peer-reviewed publications in top-tier conferences like SOSP, OSDI, EuroSys, and ASPLOS. He teaches courses including CS503 (Operating Systems), CS592 (Reliable and Secure Systems), and CS408 (Software Testing). He actively serves on program committees for major systems conferences including SOSP, OSDI, EuroSys, and ASPLOS.

Chen Binbinمشاهده پروفایل

دانشیار

• Wireless Networking
• Distributed Systems
• Cyber Security for Critical Infrastructures
• +۳ مورد دیگر

Chen Binbin is an Associate Professor and Associate Head of Pillar (Innovation and Enterprise) in the Information Systems Technology and Design (ISTD) pillar at Singapore University of Technology and Design (SUTD). He serves as Deputy Director for the Future Communications Research and Development Programme (FCP), Singapore. Previously, he was a Principal Research Scientist at the Advanced Digital Sciences Center (now Illinois ARCS), affiliated with the University of Illinois. Education: PhD in Computer Science from National University of Singapore, and Bachelor's from Peking University. Research focuses on wireless networking, distributed systems, and cyber security for critical infrastructures like smart grids and industrial control systems. His work addresses secure communications, intrusion detection, and resilience against cyber-physical threats. Notable contributions include error-estimating coding, provenance verification in ICS, and AI-driven network security solutions. Key awards include the 2010 ACM SIGCOMM Best Paper Award for error-estimating coding research. His grants span agencies like Singapore's National Research Foundation (NRF), Cyber Security Agency (CSA), and Energy Market Authority (EMA). He leads projects on secure smart grid communication, industrial control system defense, and AI-enhanced cybersecurity tools. Technical leadership involves developing frameworks like CyberSAGE for security assessment and CMD for IoT malware detection. Active in collaborations with industry and government, his work bridges theory and practice in securing critical infrastructure systems.

Shirin Nilizadehمشاهده پروفایل

دانشیار

• Cybersecurity
• Privacy
• Social Media Analysis
• +۷ مورد دیگر

Dr. Shirin Nilizadeh is an Associate Professor in the Department of Computer Science and Engineering at The University of Texas at Arlington's College of Engineering. She leads the Security and Privacy Research Lab, conducting interdisciplinary research at the intersection of cybersecurity, privacy, machine learning, and social media analysis. Her work addresses critical societal issues related to online security, privacy, and safety through data-driven approaches. Dr. Nilizadeh received her PhD in Computer Science from Indiana University in 2014, followed by MS in Computer Science from Amirkabir University (2007) and BS in Computer Engineering from Islamic Azad University (2004). Her research focuses on security and privacy in systems and social networks, employing techniques from machine learning and big data analytics. She takes a highly interdisciplinary approach, integrating AI, NLP, social sciences, and public health to address societal issues in cybersecurity and privacy. Her research objectives include: (1) detecting and characterizing emerging threats in online social networks like social engineering attacks, misinformation, and online hate speech; (2) advancing the adversarial robustness and fairness of ML and NLG systems; and (3) studying humans' online behaviors through data-driven interdisciplinary research. Analysis of her recent publications reveals a strong focus on AI-generated security threats, particularly phishing scams using LLMs, NFT fraud detection, social media toxicity analysis, and content moderation systems. Her work bridges theoretical security research with practical applications, often addressing real-world security challenges through innovative technical solutions. Among her notable scientific achievements are the prestigious NSF CAREER award (2023), Comcast Innovation Awards (2022 and 2024), College of Engineering Outstanding Early Career Research award (2024), and IEEE SP 2024 Distinguished Paper Award. Her work has also received best paper and technical poster awards at eCrime 2021 and NDSS 2022. Dr. Nilizadeh has successfully mentored numerous doctoral and master's students while securing significant research funding, including multiple NSF grants and Comcast Innovation Fund awards. She leads a vibrant research group that has produced impactful work cited in official reports submitted to The Supreme Court and the EU Committee on Civil Liberties, Justice, and Home Affairs. Her lab has also received coverage from WIRED, MIT Technology Review, Orange's Hello Future, and Communications of the ACM. She serves on numerous program committees for top international conferences including ACM CCS, USENIX Security, and POPETS, and has organized outreach programs like OurCS@DFW to broaden participation of underrepresented students in computing.

Ruben Martinsمشاهده پروفایل

استادیار

• Constraint Programming
• Program Synthesis
• Formal Verification
• +۳ مورد دیگر

Ruben Martins is an Assistant Professor at Carnegie Mellon University's School of Computer Science and serves as the program director of the Master of Science in Computer Science (MSCS) . His research focuses on the intersection of constraint programming, program synthesis, analysis, and verification, with recent work aiming to make formal methods tools more accessible through automated reasoning. Ruben earned his Ph.D. with honors from the Technical University of Lisbon, Portugal (2013) , followed by postdoctoral research at the University of Oxford (2014-2015) and UT Austin (2015-2017) . Research Interests : Ruben's work bridges constraint programming and program synthesis , with applications in software verification , optimization , and automated reasoning . He has developed award-winning tools like Open-WBO , a modular MaxSAT solver that has won gold medals in international competitions. His publications span top-tier venues such as POPL , PLDI , FSE , SAT , and CP , often addressing real-world challenges from program analysis to network security. Scientific Awards include: Distinguished Paper Award at PLDI 2018 Distinguished Paper Award at FSE 2021 Distinguished Paper Award at SAT 2022 Gold medals for Open-WBO in MaxSAT competitions Teaching & Advising : Ruben mentors Ph.D., Master’s, and undergraduate students in research projects related to program synthesis, formal methods, and constraint solving. He teaches courses such as Bug Catching: Automated Program Verification and Advanced Topics in Logic: Automated Reasoning and Satisfiability , emphasizing hands-on experience with tools like Why3. His advising spans topics from AI-driven program repair to network protocol verification , fostering collaboration across disciplines.

• Software Engineering
• Software Security
• Foundations of Program Analysis
• +۹ مورد دیگر

Marcel Böhme is a faculty member at the Max Planck Institute for Security and Privacy (MPI-SP) , leading the Software Security research group. His work focuses on foundational advancements in fuzzing , statistical program analysis, and scalable vulnerability discovery. Education: PhD from National University of Singapore (NUS) Research interests span: Statistical and causal frameworks for software testing Efficiency/Scalability of automated testing Fundamental limits of vulnerability detection Practical fuzzing technology (e.g., Entropic in LibFuzzer) Recent publications highlight trends in: Machine learning for security analysis Privacy-preserving statistical methods Future-proof security frameworks Protocol fuzzing with large language models Scientific accolades include: ERC Consolidator Grant (2024) NUS Outstanding Young Alumni Award (2022) ARC DECRA (2019) Multiple ACM Distinguished Paper Awards He serves as: Spokesperson for Research Group Leaders at Max Planck Society Guest Editor-in-Chief for ACM TOSEM PC Chair for ASE'25 and ISSTA'26

Claire Le Gouesمشاهده پروفایل

دانشیار

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

Claire Le Goues is an Associate Professor in the School of Computer Science at Carnegie Mellon University , affiliated with the Software and Societal Systems Department (formerly Institute for Software Research). She holds a Ph.D. and M.S. in Computer Science from the University of Virginia and a B.A. in Computer Science from Harvard College. Her research focuses on software engineering with emphasis on program analysis , transformation , and search-based repair . She leads the squaresLab group and co-directs the REUSE@CMU summer program. Her work spans automated program improvement (stochastic/formal approaches), software assurance, quality metrics, and systems from open source to robotics. Recent scientific awards include the ACM FSE 2025 Test of Time Award Honorable Mention and the Presidential Early Career Award for Scientists and Engineers (PECASE) . She mentors students in software engineering and actively collaborates on projects like SearchRepair and GenProg , supporting empirical benchmarks such as ManyBugs and IntroClass . She teaches software engineering and program analysis at undergraduate, master’s, and doctoral levels, addressing challenges in scaling modern systems. Her lab focuses on software repair , code transformation , and AI-driven testing .

• Formal Verification
• Software Testing
• Programming Languages
• +۶ مورد دیگر

Alastair F. Donaldson is a Professor and Director of Research in the Department of Computing at Imperial College London, where he leads the FastPL research group. His academic career spans over a decade at Imperial, progressing from Lecturer (2011-2014) to Senior Lecturer (2014-2017), Reader (2017-2020), and Professor (2020-present). He has also held significant industry positions, including Founder and Director of GraphicsFuzz Ltd. (acquired by Google in 2018), Senior Software Engineer at Google (2018-2021), and Visiting Researcher at both Google and Microsoft Research Redmond. Donaldson earned his PhD from the University of Glasgow under Alice Miller, following a BSc (hons, First Class) in Computing Science and Mathematics. His postdoctoral work included an EPSRC Postdoctoral Research Fellowship at the University of Oxford and a Research Fellowship at Wolfson College Oxford. His research focuses on formal analysis, software testing and programming languages techniques for improving software reliability, with special emphasis on high-performance systems. Donaldson's work bridges theoretical foundations with practical applications, particularly in compiler testing, GPU programming verification, and metamorphic testing. His research has significantly influenced both academia and industry, as evidenced by the acquisition of his startup GraphicsFuzz by Google. Analysis of his recent publications reveals a strong focus on fuzz testing techniques applied across diverse domains including compilers, GPUs, cryptographic protocols, and large language models. His work consistently combines formal methods with practical testing approaches, addressing challenges in compiler correctness, memory models, and API verification across multiple platforms. 2017 BCS Roger Needham Award EPSRC Early Career Fellowship Best Paper Award, EuroSys 2024 Best Paper Award, MET 2021 Best Paper Award, IWOCL 2019 Best Paper Award, IISWC 2019 Best Paper Award, ICST 2016 ACM SIGSOFT Distinguished Paper Award, ISSTA 2023 ACM SIGSOFT Distinguished Paper Award, FSE 2017 ACM SIGPLAN Most Influential OOPSLA Paper Award, 2022 (for GPUVerify) As Director of Research in the Department of Computing, Donaldson oversees research strategy and development. His FastPL research group investigates novel techniques for programming, testing and reasoning about high performance systems. He has served on numerous program committees and held leadership roles including PLDI Steering Committee Chair (2022-2025) and PACM-PL Advisory Board member. His industry engagement includes testifying as an Expert Witness in the IBM UK Ltd v LzLabs GmbH & Ors case. The FastPL research group, which Donaldson leads, focuses on formal analysis, software testing and programming languages. The group has made significant contributions to compiler testing, GPU verification, and metamorphic testing techniques, with practical impact demonstrated by the acquisition of GraphicsFuzz. Current research directions include fuzzing for zero-knowledge proof circuits, randomized testing of decompilers, and systematic testing of large language models for code generation.

Li Liمشاهده پروفایل

استاد

• Mobile Software Engineering
• Intelligent Software Engineering
• Software Security
• +۶ مورد دیگر

Li Li is a Professor of Software Engineering at Beihang University , China. Previously, he served as an ARC DECRA Fellow and Senior Lecturer at Monash University , leading the SMart software Analysis and Trustworthy computing (SMAT) research lab at the Department of Software Systems and Cybersecurity. His academic journey includes a Ph.D. in Software Engineering from the University of Luxembourg (2016), supervised by IEEE Fellow Prof. Yves Le Traon and Dr. Jacques Klein. Research Interests Li's research focuses on Mobile Software Engineering (Mobile Security, Quality Assurance) and Intelligent Software Engineering (SE4AI, AI4SE). He applies static code analysis , dynamic program testing , and machine/deep learning to enhance software security and reliability. Key areas include Android API evolution, automated patch validation, and multi-language code analysis frameworks like Scalpel for Python. Scientific Recognition ARC DECRA Fellowship Rising SE Research Star Top-5 Most Impactful Early Career SE Researchers (2020, 2017) 5 Best/Distinguished Paper Awards across PLDI, WWW, ASE, MSR, and SANER Academic Contributions He has contributed to foundational Android analysis tools (e.g., AndroZoo++, DroidRA) and developed scalable systems for distributed program analysis (Seads). His work appears in top venues like ICSE, ESEC/FSE, ASE, ISSTA, POPL, and TSE.

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

دانشیار

• Software Security
• System Security
• Fuzzing
• +۵ مورد دیگر

Mathias Payer is an associate professor at EPFL's School of Computer and Communication Sciences (IC), leading the HexHive research group since 2018. He focuses on strengthening software and system security through fuzzing, vulnerability mitigation, and compiler-based approaches. His work includes open-source prototypes and contributions to embedded systems, IoT security, and trusted execution environments. Education: PhD in Computer Science (Dr. sc. ETH) from ETH Zurich (2012), postdoctoral researcher at UC Berkeley (2012–2014), and assistant professor at Purdue University (2014–2018). Tenured at EPFL since 2021. Research Interests: Fuzzing frameworks, memory safety, vulnerability analysis, compiler optimizations for security, and firmware security. Projects include Enclosure , HexType , and DP3T (decentralized contact tracing). Awards: Multiple best/distinguished paper awards at top venues (e.g., Usenix Security, NDSS, RAID). Co-founded the EPFL polygl0ts and Purdue b01lers CTF teams to foster cybersecurity innovation. Labs/Teams: HexHive group, CTF initiatives, and collaborations with industry (e.g., Intel SGX, Android security).

John Regehrمشاهده پروفایل

استاد

• Compilers
• Software Testing
• Formal Verification
• +۳ مورد دیگر

John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.

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.

Meng Xuمشاهده پروفایل

استادیار

• System Security
• Software Security
• Automated Program Analysis
• +۴ مورد دیگر

Meng Xu is an Assistant Professor in the Cheriton School of Computer Science at the University of Waterloo, Canada. He is affiliated with the Cryptography, Security, and Privacy (CrySP) group and the Cybersecurity and Privacy Institute (CPI). His research focuses on system and software security, emphasizing secure-by-design languages (e.g., Rust, Move), automated program analysis, and runtime defense techniques. Education : Ph.D., Computer Science (2020), Georgia Institute of Technology B.Eng. and B.Business (First Class Honors), Nanyang Technological University (2014) Research Interests : Secure-by-design languages Automated security analysis (fuzzing, symbolic execution) Runtime defense mechanisms (moving target defense, secure hardware) Key Awards : EAPLS Best Paper Award (2022) USENIX Security Distinguished Paper Award (2018) Grants & Funding : BlackBerry Research Grant (CAD $200,000) Amazon Research Award (USD $60,000) NSERC Discovery Grant (CAD $170,000) Labs & Collaborations : CrySP (Cryptography, Security, and Privacy Group) Cybersecurity and Privacy Institute (CPI)

Kevin W. Hamlenمشاهده پروفایل

استاد

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

Kevin W. Hamlen is the Louis A. Beecherl, Jr. Distinguished Professor in the Department of Computer Science at the University of Texas at Dallas. He serves as Executive Director of UT Dallas' Cyber Security Research and Education Institute. His research focuses on language-based security , binary software hardening , cyberdeception , and formal program verification . He has received multiple grants from agencies like AFOSR, NSF, DARPA, and industry partners including Lockheed Martin and Intel. PhD and MS from Cornell University BS from Carnegie Mellon University His research explores automated approaches to software security through techniques like binary disassembly , control-flow integrity , and honey-patching . He has pioneered methods for malware defense and cloud/web/mobile security . Recent work examines adaptive cyberdeception and GPU-based security frameworks . His publications span binary code manipulation , malware mitigation , and blockchain security . Key awards include the NSF IUCRC Technology Breakthrough Award and two CSAW Best Paper 2nd Prizes . He advises numerous PhD students, many of whom now work at Google, IBM, and Microsoft. His book Autonomous Cyber Deception (Springer, 2019) with Ehab Al-Shaer and Cliff Wang provides comprehensive coverage of adaptive cyberdeception strategies.

Marcus Botacinمشاهده پروفایل

استادیار

• Malware Analysis
• Hardware-Assisted Security
• Antivirus Technology
• +۴ مورد دیگر

Marcus Botacin is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University (TAMU), USA. Previously, he held positions as Visiting Assistant Professor (2022-2024) and Lecturer at the Federal University of Paraná (Brazil). His research focuses on malware analysis, hardware-assisted security, and antivirus technology. He earned his Ph.D. in Computer Science from UFPR (2021), M.Sc. from UNICAMP (2017), and B.Sc. in Computer Engineering from UNICAMP (2015). Education: Ph.D., Computer Science, Federal University of Paraná, Brazil (2021) M.Sc., Computer Science, University of Campinas, Brazil (2017) B.Sc., Computer Engineering, University of Campinas, Brazil (2015) Research Interests: Botacin's work addresses challenges in malware detection (static/dynamic methods, sandboxing), hardware-enhanced security mechanisms (e.g., branch monitoring), and antivirus internals. He emphasizes practical solutions and ethical considerations in cybersecurity, advocating for culturally aware threat models (e.g., Brazilian financial malware studies). Publications & Trends: His recent work explores adversarial ML attacks on malware detectors, HPC-based detection frameworks, and automated malware generation risks. He frequently publishes in top venues like ACM CCS, USENIX Security, and IEEE TDSC. Awards: Top-3 Best Ph.D. Thesis in Computer Security (Brazilian Computer Society, 2022) Best PhD Thesis Award from UFPR (2022) MLSec Evasion Challenge 1st place (2021/2020) Advising & Grants: Supervises 15+ students at TAMU and leads NSF-funded projects (e.g., $523K grant for HPC malware detection frameworks). Serves on 21+ conference program committees and reviews for over 50 journals. Lab & Projects: Develops Corvus (public malware analysis sandbox) and explores hardware-accelerated AV solutions like Terminator and HEAVEN.