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

Karthik Dantuمشاهده پروفایل

دانشیار

• Mobile Sensor Networks
• Robot Networks
• Networked Embedded Systems
• +۸ مورد دیگر

Karthik Dantu is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, State University of New York, within the School of Engineering and Applied Sciences. His research focuses on mobile sensor networks, robot networks, networked embedded systems, mobile computing, wireless networks, and embedded operating systems. He leads the Distributed Robotics and Networked Embedded Sensing (DRONES) Lab and has received significant funding including an NSF CAREER Award. Dr. Dantu's educational background includes: PhD in Computer Science from University of Southern California (2009) BE in Computer Science from Sri Jayachamarajendra College of Engineering (1999) His research interests center on algorithmic and systems challenges in Edge Computing Systems, with particular focus on enabling seamless vision sensing in cloud-edge environments. Dantu's work bridges mobile systems and robotics, developing novel approaches for UAV software, visual SLAM, and distributed sensing. His research addresses critical challenges in resource-constrained environments, security, and real-time performance for mobile and robotic systems, with emphasis on practical implementations that solve real-world problems in autonomous systems. Dr. Dantu's publication record shows a strong trajectory in mobile systems and robotics research, with increasing focus on edge computing applications for visual sensing. His recent work demonstrates expertise in adapting visual SLAM to edge environments, securing mobile systems through technologies like Rushmore, and developing novel approaches for UAV software reliability and depth sensing. The research spans theoretical algorithms and practical system implementations, with particular strength in bringing academic research to practical applications in robotics and mobile computing. Dr. Dantu has received several scientific honors: NSF CAREER Award on Enabling Seamless Vision Sensing in Cloud-Edge Systems Outstanding service award from the Office of International Services NSF Travel Grant for SenSys 2005 Conference Travel Grant for SIGCOMM 2002 As an advisor, Dr. Dantu has mentored numerous PhD students to completion, with graduates now working at companies like Samsung Research and Zoox Inc., or continuing academic careers as Assistant Professors. His research is supported by substantial grants including a DARPA OFFSET Sprint 4 award ($470k), an NSF CAREER award ($550k), and multiple NSF collaborative grants totaling over $1.5 million. He serves on numerous conference committees including Mobicom, MobiSys, and ICRA, demonstrating leadership in the mobile systems and robotics research communities. Dr. Dantu leads the Distributed Robotics and Networked Embedded Sensing (DRONES) Lab at UB, which focuses on developing algorithms and systems for mobile sensor networks, robot networks, and embedded sensing applications. The lab's work spans theoretical foundations to practical implementations, with particular expertise in UAV systems, visual SLAM, and edge computing for robotics, maintaining strong collaborations with industry partners and other academic institutions to advance the state of the art in mobile and robotic systems.

Abhik Roychoudhuryمشاهده پروفایل

استاد

• Software Testing
• Program Analysis
• Program Repair
• +۴ مورد دیگر

Abhik Roychoudhury is a Provost's Chair Professor of Computer Science at the National University of Singapore (NUS), leading the Trustworthy and Secure Software (TSS) research group since 2001. His work focuses on automated program repair, software testing, security, and agentic AI. He is a Senior Advisor at SonarSource following the acquisition of his startup AutoCodeRover. He holds an ACM Fellowship and has received the ICSE Most Influential Paper Award for program repair research. Education: M.S. and Ph.D. in Computer Science from State University of New York at Stony Brook (1997-2000). Research interests include program analysis, software security, and AI-driven software engineering. His team has pioneered techniques like SemFix and Angelix for program repair, and AFLNet for protocol fuzzing. He has served as editor-in-chief of ACM TOSEM and conference chair for ICSE and FSE. Awards include the NUS Outstanding Graduate Mentor Award (inaugural recipient) and IEEE New Directions Award. His work bridges academia and industry, with contributions to projects like the DesCartes initiative for critical urban systems. Key collaborations include Microsoft on API repair and IBM on AI research centers. His recent focus includes agentic AI for software engineering, reflected in AutoCodeRover's acquisition by SonarSource.

Johannes Kinderمشاهده پروفایل

استاد

• Software Security
• Program Analysis
• Machine Learning
• +۳ مورد دیگر

Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025

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)

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.

Aravind Machiryمشاهده پروفایل

استادیار

• Software Security
• Embedded Systems
• Program Analysis
• +۹ مورد دیگر

Aravind Machiry is an Assistant Professor at Purdue University's Electrical and Computer Engineering Department and a founding member of the Purdue Systems and Software Security (PurS3) Lab . His research focuses on system security, particularly vulnerability detection, prevention, and secure system development using static/dynamic program analysis, fuzzing, type systems, and machine learning. Designing practical solutions for software and embedded system security Recipient of NSF CAREER and Amazon Research awards Active participant in SPLASH 2025 as OOPSLA Review Committee member His recent work includes automated vulnerability detection in embedded software, spatial memory safety enhancements, and security analysis of GitHub workflows. He has received recognition for his research through multiple distinguished paper awards and industry funding. Selected scientific awards include NSF CAREER Award (2024) Amazon Research Award (2022) Test of Time Award at FSE 2023 for DynoDroid Distinguished Paper Award at OOPSLA 2022 for 3c Qualcomm Innovation Fellowship (2025) His research team has developed frameworks like ARGUS for taint analysis of CI/CD workflows and FuzzUEr for UEFI interface fuzzing, discovering hundreds of critical vulnerabilities in open-source projects and thousands of command injection flaws in GitHub repositories.

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.

Karim Aliمشاهده پروفایل

دانشیار

• Programming Languages
• Static Analysis
• Software Security
• +۸ مورد دیگر

Karim Ali is an Associate Professor of Computer Science at New York University Abu Dhabi (NYUAD), where he leads research in programming languages, static analysis, security, and compilers. He is affiliated with the Department of Computer Science within the College of Arts and Science. Prior to joining NYUAD, he served as an Associate Professor at the University of Alberta. His academic training includes a BSc from The American University in Cairo, and MMath and PhD degrees from the University of Waterloo, completed in 2014. BSc: The American University in Cairo MMath: University of Waterloo PhD: University of Waterloo (2014) His research focuses on making static analysis tools more practical by enhancing their scalability, precision, and usability. He investigates program analysis techniques applicable to real-world software, with applications in security, just-in-time compilation, and mobile app development. His work spans theoretical foundations and tool development, including the SWAN framework for Swift and contributions to secure cryptographic API usage through CogniCrypt. The recent publications reflect a strong trend in developer-centric static analysis, secure coding, energy efficiency in mobile apps, and compiler optimization. His work combines empirical studies with tool-building, emphasizing usability and integration into developer workflows. Scientific Awards: Dahl-Naygaard Junior Prize (2021) ACM SIGSOFT Distinguished Paper Award ACM SIGPLAN Distinguished Paper Award Distinguished Artifact Award, ECOOP 2014 Karim Ali has mentored numerous students and collaborated extensively with researchers worldwide. His lab has contributed tools adopted by major static analysis frameworks like Soot, WALA, and DOOP. He has secured research recognition through awards and industrial impact, including helping Symantec fix a security vulnerability. He teaches core courses such as Computer Systems Organization and supervises capstone projects, guiding students in original research. His lab conducts research on programming languages and static analysis, with projects including SWAN for Swift analysis, usability studies of static analysis tools, and development of precise pointer analysis techniques. The team works on both academic research and practical tooling for developers.

JIANG Lingxiaoمشاهده پروفایل

استاد

• Software Engineering
• Artificial Intelligence
• Data Science
• +۷ مورد دیگر

Professor Lingxiao Jiang is a full-time faculty member at the School of Computing and Information Systems (SCIS), Singapore Management University (SMU) , where he serves as Director of the Centre for Research on Intelligent Software Engineering (RISE) . His research and teaching focus on software engineering , program analysis , code search & reuse , and deep learning of code to enhance software quality, development productivity, and security. PhD, University of California, Davis (2009) Professor Jiang's research explores context-aware software deep learning , code clone detection , and security & privacy through tools like DECKARD (code clone detection), EqMiner (functionally equivalent code), and SmartEmbed (smart contract security). His work leverages distributed computing , symbolic execution , and neural program models for large-scale code analysis. Recent publications highlight trends in deep learning-based code analysis , smart contract vulnerabilities , and automated program transformation . Key themes include code clone detection , semantic patches , and cross-language API mappings . Scientific Awards ACM SIGSOFT Impact Paper Award (2018) for scalable code clone detection As advisor, Professor Jiang has mentored 14 graduate students, including Lucia (Ph.D. 2014) , Shaowei Wang (Ph.D. 2015) , and current advisees in intelligent software engineering. He leads multiple grants on code mining , security of digital platforms , and AI systems governance . RISE Lab at SMU develops tools like MANDO (smart contract analysis), iTiger (issue title generation), and TreeCaps (code processing with capsule networks). The lab actively recruits researchers in software engineering and AI.

• Software Security
• IoT Security
• Software Supply Chains
• +۲ مورد دیگر

Mojtaba Moazen is a PhD student and researcher at the Division of Theoretical Computer Science , part of KTH Royal Institute of Technology in Sweden. He is actively involved in the WASP – Wallenberg AI, Autonomous Systems and Software Program and the NEST CyberSecIT project, focusing on securing IoT applications and software supply chains. His work bridges academic research with critical real-world cybersecurity challenges. Education: PhD (ongoing) in Theoretical Computer Science, KTH Royal Institute of Technology Master of Science in Information Technology, Sharif University of Technology Bachelor of Science in Computer Engineering, K. N. Toosi University of Technology Research Interests: Mojtaba specializes in software security , IoT security , and software supply chains , with a focus on developing robust security mechanisms for emerging technologies. His recent publications highlight advancements in Android malware detection and continuous integration testing. Courses Assisted: Applied Cryptography (DD2520) Computer Security (DD2395) Internet Programming (DD1386) Language-Based Security (DD2525) Programming Techniques (DD1310)

Alexandre Bartelمشاهده پروفایل

استاد

• software security
• software engineering
• system security
• +۵ مورد دیگر

Alexandre Bartel is a Professor in the Department of Computing Science at Umeå University, Sweden, specializing in software security and software engineering. His research focuses on system security and analysis of permission-based software stacks, particularly Android. With numerous publications in top-tier security and software engineering conferences and journals, Bartel has established himself as a leading researcher in vulnerability analysis and software security. Bartel's research interests primarily center around software security, with a particular emphasis on Java and Android ecosystems. His work delves into vulnerability analysis, deserialization attacks, control flow integrity, and security mechanisms for complex software systems. He investigates how to verify security properties through efficient algorithms and examines existing software layers from a security perspective. His research bridges theoretical security concepts with practical implementation challenges in real-world systems. Analysis of Bartel's recent publications reveals a strong focus on Java deserialization vulnerabilities, control flow integrity mechanisms, and Android security. His work demonstrates a consistent trajectory from fundamental vulnerability analysis to developing practical security solutions and benchmarks. The research spans both theoretical frameworks and empirical evaluations, with significant contributions to understanding long-term security adoption patterns and developing tools for vulnerability detection. Scientific Awards: Most influential Paper ICSE N-10 Award for IccTA: Detecting Inter-Component Privacy Leaks in Android Apps Bartel actively contributes to the academic community through service roles, having served on program committees for major conferences including ASE, ESEC/FSE, ICSE, and FSE. His research has practical implications for software developers and security practitioners, particularly in the areas of vulnerability detection and security mechanism implementation. While specific grant information isn't detailed in the provided materials, his extensive publication record suggests successful funding for his research initiatives. Though not explicitly detailed in the provided information, Bartel's research likely involves collaboration with students and researchers on projects related to software security analysis. His work on benchmarks like Gleipner and CONFUZZION suggests involvement in developing tools and resources for the security research community.

Man Ho Allen Auمشاهده پروفایل

استاد

• Applied Cryptography
• Information Security
• Blockchain Technology
• +۲ مورد دیگر

Dr. Man Ho Allen Au is an honorary professor at the Department of Computer Science, University of Hong Kong (HKU), with a career spanning cutting-edge research in applied cryptography, information security, and blockchain technology. His work bridges theoretical innovation and industrial applications. BEng, MPhil from the Chinese University of Hong Kong (2003, 2005) PhD from University of Wollongong (2009) A former associate professor at Hong Kong Polytechnic University, Dr. Au’s research drives advancements in blockchain technology , applied cryptography , and privacy-preserving techniques , with deployments in Hyperledger Fabric and discussions by privacy-focused currencies like Monero. His publications in top venues (CRYPTO, IEEE S&P, CCS) focus on lattice-based cryptography , secure protocols , and privacy-enhancing technologies . These works have attracted over 25 million HKD in grants, including RGC GRF and ITF projects. 2021 : New Frontiers of Lattice-Based Cryptography (RGC GRF), Secure Computation over Encrypted Data (ITF Seed), Blockchain Platform for Data Sharing (ITF Platform) 2020 : Practical Post-Quantum Zero-Knowledge Proofs (RGC GRF), NSFC project on quantum-resistant schemes 2019–2017 : Blockchain for logistics, anti-counterfeit systems, and post-quantum signature constructions Awarded the 2009 PET runner-up for privacy research, Dr. Au contributes to standards via ISO/IEC JTC 1/SC 27 working group and the Hong Kong Blockchain Society.

• Cybersecurity
• Cryptography
• Malware Analysis
• +۳ مورد دیگر

Tudor Dumitras is an Affiliate Associate Professor at the University of Maryland, College Park, holding appointments in the Department of Electrical and Computer Engineering (ECE) and the Department of Computer Science (CS). He is affiliated with The Maryland Cyber Security Center (MC2), where he leads research initiatives in cybersecurity and cryptography. His work focuses on malware detection, system security, and analyzing real-world vulnerabilities like the Heartbleed bug. Dumitras has collaborated with institutions such as Northeastern and Stanford Universities on critical security challenges, including SSL certificate reissuance and revocation strategies. His research interests span machine learning applications in cybersecurity, network security protocols, and adversarial attack mitigation. Notable contributions include developing automated tools for vulnerability exploitation prediction (SCAVY) and investigating the robustness of machine learning models against adversarial examples. Dumitras advises PhD students Simge Tekin and Kamala Varma, focusing on advancing cybersecurity through data-driven approaches. Key projects include analyzing software adoption patterns, studying zero-day attacks, and improving PKI security. His work often bridges academic research with industry practices, leveraging big data from sources like Symantec's WINE system. Dumitras has published extensively on topics ranging from malware behavior analysis to hardware fault attacks on neural networks.

Omar Haider Chowdhuryمشاهده پروفایل

دانشیار

• Computer Security
• Network Security
• Software Security
• +۱۳ مورد دیگر

Omar Haider Chowdhury is a SUNY Empire Innovation Scholar and Associate Professor in the Department of Computer Science at Stony Brook University. Previously, he was an Assistant Professor at the University of Iowa where he received the Dean's Scholar Award. He completed his postdoctoral research at Cylab, Carnegie Mellon University and Purdue University. His educational background includes a Ph.D. in Computer Science from the University of Texas at San Antonio under the supervision of Prof. Jianwei Niu and Prof. William H. Winsborough (deceased), and undergraduate education in Computer Science and Engineering at the Bangladesh University of Engineering and Technology (BUET). Chowdhury's research focuses on Computer Security and Privacy, with particular emphasis on applying formal verification, automated reasoning, runtime verification, programming languages, software engineering, and human-computer interaction techniques to solve practical security problems. His work addresses security challenges in SSL/TLS, X.509 PKI, Cellular Networks, Wi-Fi, Internet-of-Things (IoT), and Regulatory Compliance. He is also interested in fundamental problems in automated reasoning and formal verification. His recent publications demonstrate a strong focus on applying formal methods to practical security problems, with particular emphasis on cellular networks (4G/5G), IoT systems, and cryptographic protocols. His research shows a consistent pattern of bridging theoretical verification techniques with real-world security implementations, resulting in enhancements to widely used protocols like 4G LTE, 5G, and WPA2 enterprise. His scientific contributions have been recognized with numerous awards including: 2023 Test of Time Award, ACM SACMAT 2022 Dean's Scholar Award, University of Iowa 2021 Best Paper Award (Runner Up), ACM CCS 2020 Best Paper Award, ACNS 2019 DARPA Young Faculty Award Multiple Best Paper Awards at IEEE DASC, ACSAC, and NDSS Chowdhury has successfully mentored several PhD students including Dr. Moosa Yahyazadeh (now at Apple Inc.), and currently advises students including Joyanta Debnath, Muhammad Daniyal Pirwani, and Aliakbar Sadeghi. His research has been funded by both National Science Foundation (NSF) and Defense Advanced Research Projects Agency (DARPA), including a prestigious DARPA Young Faculty Award. His group's findings have directly influenced improvements in widely used security protocols and cryptographic libraries. He leads a research group focused on high-assurance software design and implementation, recently teaching courses on these topics at Stony Brook University. His research group combines expertise in formal methods, security analysis, and practical implementation to tackle emerging security challenges in modern computing systems.

Jeff Huangمشاهده پروفایل

دانشیار

• Software Engineering
• Programming Languages
• Concurrency
• +۴ مورد دیگر

Jeff Huang is an Associate Professor in the Department of Computer Science & Engineering at Texas A&M University, affiliated with the College of Engineering. His research focuses on software engineering, programming languages, concurrency, and runtime verification, with notable contributions to static analysis, race detection, and vulnerability mitigation in concurrent systems. Education: Postdoc, Computer Science, University of Illinois at Urbana-Champaign (2013-2014) Ph.D., Computer Science, Hong Kong University of Science and Technology (2012) B.E., Electrical Engineering, National University of Defense Technology, China (2008) Research Interests: Huang's work bridges theoretical foundations and practical applications in concurrency debugging, static analysis tools, and cybersecurity for smart contracts. He emphasizes scalable solutions for pointer analysis, race detection, and vulnerability detection in distributed systems and blockchain technologies. Recent Trends in Publications: His recent work explores AI-driven program execution (e.g., SGLang), blockchain security (e.g., Smart Contract analysis), and dynamic/static analysis techniques for memory safety. These studies underscore advancements in automated tools for securing concurrent and distributed systems. Awards: 2023 ACM SIGSOFT Distinguished Paper Award 2019 DARPA Young Faculty Award 2016 NSF CAREER Award 2013 ACM SIGSOFT Outstanding Doctoral Dissertation Award Advising & Grants: Huang has advised PhD students including Bozhen Liu and Peiming Liu, who have contributed to OpenMP race detection and pointer analysis tools. His grants include NSF awards for pointer analysis as a service and DARPA funding for young faculty research. Labs & Teams: He leads the O2 Lab, focused on concurrency verification and cybersecurity, collaborating with industry partners like Coderrect Inc. and DOE on scalable static analysis frameworks.