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

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

Debjit Palمشاهده پروفایل

پژوهشگر ارشد

• Machine Learning for Electronic Design Automation (EDA)
• System-on-Chip (SoC) Verification
• Hardware Verification
• +۶ مورد دیگر

Debjit Pal is a Post-Doctoral Associate at the School of Electrical and Computer Engineering, Cornell University, and a member of the Computer Systems Laboratory. His research focuses on machine learning techniques for hardware verification, SoC validation, and FPGA optimization. Education: Ph.D. in Computer Engineering (University of Illinois at Urbana-Champaign, 2019) M.S. in Computer Science (IIT Kharagpur, 2012) B.E. in Electronics Engineering (Jadavpur University, 2008) Research Interests: Machine Learning for Electronic Design Automation (EDA) System-on-Chip (SoC) Verification Edge Intelligence as a Service Compiler Optimizations for Reconfigurable and High-Performance Computing Scientific Awards: IEEE CEDA Student Research Award (2016) Best Paper Nomination (ICCAD 2015, DAC 2018, ASP-DAC 2019) E. J. McCluskey Best Doctoral Thesis Competition Semi-Finalist (2020) Travel Grants for ICCAD/DAC/ASPDAC (2018-2019) Professional Roles: Technical Program Committee Member (DAC, VLSID), Reviewer (IEEE TVLSI, DATE, ICCAD). Collaborates with researchers like Zhiru Zhang and Shobha Vasudevan.

Wolfgang Kunzمشاهده پروفایل

استاد

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Tianyi Zhangمشاهده پروفایل

استادیار

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Tianyi Zhang is a Tenure-Track Assistant Professor in the Department of Computer Science at Purdue University, part of the College of Science. He leads the Human-Centered Software Systems Lab, focusing on AI-driven systems that synergize human expertise with machine intelligence to enhance programming productivity and software reliability. Prior to Purdue, he was a Postdoctoral Fellow at Harvard University under Dr. Elena Glassman and earned his Ph.D. from UCLA (2019) and B.Sc. from Huazhong University of Science and Technology (2013). Education: Ph.D. in Computer Science, University of California, Los Angeles (2019) Bachelor's in Computer Science, Huazhong University of Science and Technology (2013) Research Interests: His work spans Software Engineering, Human-Computer Interaction, and AI. Key areas include program synthesis, interactive debugging tools, autonomous driving system testing, and mitigating biases in AI models. He develops systems like Interpretable Program Synthesis and SQLucid to bridge human and machine intelligence. Recent Trends in Publications: Recent work emphasizes human-in-the-loop AI, including mixed-initiative systems for data wrangling (Dango), interactive program repair, and bias analysis in text representations (STILE). He also explores challenges in autonomous driving testing and LLM-based code generation errors. Awards & Grants: NSF Career Award (2024) Amazon Research Award Showalter Trust Research Award for pre-diabetes research $1.5M NSF grant for software supply chain security Best Paper Honorable Mentions at CHI and VAHC Advising & Teams: Supervises 12+ PhD/Master's students and 30+ research interns. Notable advisees include Bonan Kou (API misuse studies) and Yuan Tian (text-to-SQL systems). Collaborates with Harvard Medical School on healthcare data analysis. Labs & Initiatives: Directs Purdue's Human-Centered Software Systems Lab. Co-founded the Societal Impact Fellows program. Active in open-source projects like Examplore for API usage visualization and JShrink for Java debloating.

Alexander Pretschnerمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Information Security
• +۵ مورد دیگر

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Marina Blantonمشاهده پروفایل

دانشیار

• Applied Cryptography
• Information Security
• Privacy-Preserving Computation
• +۳ مورد دیگر

Marina Blanton is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, and Faculty Director of Women in Science and Engineering within the School of Engineering and Applied Sciences. She holds a PhD in Computer Science from Purdue University (2007), along with multiple advanced degrees in Computer Science and Electrical Engineering from prestigious institutions in the US and Russia. Her research focuses on applied cryptography, information security, and privacy-preserving computation and outsourcing. She has pioneered work on secure multi-party computation protocols, privacy-preserving biometric authentication, and secure data analytics across distributed systems. Her contributions include foundational frameworks like PICCO, a compiler for private distributed computation, and advancements in protocols for genomic data analysis and floating-point secure computation. Blanton has been recognized with numerous awards, including IEEE and ACM Senior Membership (2016/2015), the ACM CCS Test of Time Award (2015), and the AFOSR Young Investigator Award (2013). Her research has been supported by grants such as NSF SaTC awards and AFOSR funding. Her work emphasizes practical implementations of secure computation, with applications in healthcare, biometrics, and distributed data systems. She has advised numerous students and contributed to educational initiatives promoting women in STEM through her leadership roles.

• Software Engineering
• Computer Systems
• Software Security
• +۱۱ مورد دیگر

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group . His research focuses on improving software reliability and security through practical techniques in software engineering, computer systems, and program analysis. Education: Ph.D. in Computer Science, Stanford University M.Eng. in Computer Science, MIT B.S. in Computer Science and Mathematics, MIT His research interests center on software engineering and software security , particularly symbolic execution , dynamic symbolic execution (DSE) , and multi-version execution . Current work explores techniques for scalability, constraint solving, and runtime security in software systems. Key trends in his recent articles include optimizing symbolic execution for testing, addressing path explosion in constraint-based test generation, and advancing multi-version execution for dynamic software updates. His publications also cover program analysis , automated testing , and formal methods for software reliability. Awarded prestigious honors such as the Humboldt Research Award (2024) , ERC Consolidator Grant (2018) , and IEEE New Directions Award (2022) . Other accolades include the BCS Roger Needham Award (2019) and SIGOPS Hall of Fame (2018) . Cadar supervises PhD and postdoctoral researchers in software reliability and security. His group has secured grants from the ERC and EPSRC , including a Consolidator Grant (2018) and Early-Career Fellowship (2013) . He actively contributes to conference organizing committees and editorial boards. The Software Reliability Group at Imperial College, led by Cadar, specializes in techniques like KLEE and EXE for automated testing. Their work has been adopted by industry partners such as Fujitsu, IBM, and Microsoft, particularly in runtime security tools like WIT .

David Lieمشاهده پروفایل

استاد

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +۷ مورد دیگر

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

Saumya Debrayمشاهده پروفایل

استاد

• Compilers
• Program Analysis
• Code Optimization
• +۵ مورد دیگر

Saumya Debray is a Professor at the Department of Computer Science , University of Arizona , with research interests in Compilers , Program Analysis and Optimization , and Programming Language Implementation . Their work bridges theoretical and applied computer science, focusing on security implications of program transformations and compiler-assisted system optimization. Education: Ph.D., The State University of New York at Stony Brook (1986). Contact: Office: GS 735 | Phone: 520-621-4527 | Email: debray@cs.arizona.edu. Research Themes: Debray’s research spans three decades, with core contributions in: JIT Compiler Analysis: Bug localization, dynamic code generation, and exploitation frameworks. Code Obfuscation & Stylometry: Evading detection through optimization-based obfuscation. Malware Analysis: Deobfuscation techniques, taint analysis, and dynamic defense modeling. Binary Rewriting: Energy optimization, code compaction, and kernel specialization. Their work intersects compiler design , cybersecurity , and system optimization , with applications in executable analysis , malware detection , and undergraduate CS education .

• Blockchain Security
• Smart Contracts
• Decentralized Finance (DeFi)
• +۳ مورد دیگر

Arthur Gervais is a Professor of Information Security at University College London's Department of Computer Science. His work focuses on blockchain systems, smart contract security, and decentralized finance (DeFi) risk analysis. He has published extensively on topics ranging from privacy technologies to systemic vulnerabilities in financial cryptography. Research Interests: Gervais investigates security challenges in blockchain ecosystems, including censorship mechanisms, zero-knowledge proofs, and DeFi liquidation risks. His interdisciplinary approach bridges computer science, cryptography, and financial systems. Publications Trends: Recent articles emphasize empirical studies of DeFi attacks, hybrid fuzzing for smart contract verification, and privacy trade-offs in blockchain mixers. His work spans conferences like ACM SIGMETRICS, IEEE Security & Privacy, and World Wide Web Conference.

Aybars Tuncdoganمشاهده پروفایل

دانشیار

• Digital Innovation
• Information Security
• Marketing Strategy
• +۳ مورد دیگر

Aybars Tuncdogan is a Reader in Digital Innovation and Information Security at King’s Business School, King’s College London. He holds affiliations with the King’s AI Institute, King’s Cybersecurity Centre (Informatics), and King’s Cybersecurity Group (War Studies). A Fellow of the Higher Education Academy, he also serves on the editorial review board of Industrial Marketing Management . Education : PhD in Management, Rotterdam School of Management, Erasmus University MPhil in Business Research (Distinction), Erasmus University Bachelor’s in Business Management & Computer Science (Honors), Earlham College Research Interests : His work focuses on three pillars of digital innovation: generation (crowdsourcing, AI), marketing (digital brand personality, sales ambidexterity), and protection (information security, corporate espionage). He integrates psychology (individual differences, social identity) and computer science (machine learning/AI) frameworks. Publications Trends : Recent work addresses cybersecurity challenges in retail, AI ethics in healthcare, and interdisciplinary innovation. He frequently publishes in top-tier journals like Journal of Management and Scientific American , blending academic rigor with practitioner impact. Awards & Contributions : 2015 Best Paper Award (shared) Edited books including Oxford Handbook of Individual Differences and Strategic Renewal Teaching & Pedagogy : Develops innovative teaching methods like inquiry-based learning to foster student creativity. Taught modules on digital marketing, consumer behavior, and research methods. Labs/Teams : Contributes to cybersecurity initiatives at King’s, focusing on AI-driven defense mechanisms and organizational cyber resilience strategies.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

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

Todd Millsteinمشاهده پروفایل

استاد

• Software Reliability
• Network Verification
• Programming Languages
• +۵ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA), and served as Department Chair from 2022–2025. He is also an Amazon Scholar and a co-founder and former Chief Scientist of Intentionet (now at AWS). His research focuses on making software systems more reliable, particularly through network verification and programming language techniques. He pioneered the Batfish network configuration analyzer, which is used by AWS, Oracle Cloud, and dozens of companies, and received the ACM SIGCOMM Networking Systems Award (2025) for this work. His recent publications span probabilistic programming, network reliability, and interactive program verification, including papers at PLDI 2024 (on bit blasting probabilistic programs), NSDI 2024 (on behavioral testing of BGP), and HotNets 2024 (on network layering). Todd has received prestigious awards such as an NSF CAREER Award , a Microsoft Research Outstanding Collaborator Award , and multiple best paper awards at PLDI, OOPSLA, and SIGCOMM. He has advised Ph.D. students like Ana Brendel and Poorva Garg , and teaches courses such as CS30 (Principles of Computing), CS231 (Types and Programming Languages), and CS239 (Current Topics in PL and Systems). His professional roles include Program Chair for OOPSLA 2014 and ECOOP 2018, and committee member for numerous conferences including PLDI , SPLASH , and LAFI .

• Machine Learning
• Artificial Intelligence
• Explainability of AI
• +۳ مورد دیگر

Carlos Guestrin is the Fortinet Founders Professor of Computer Science at Stanford University and serves as Director of the Stanford AI Lab (SAIL) and Senior Fellow at the Institute for Human-Centered AI (HAI). He holds dual roles as Chief Scientist at Visual Layer and Virtue AI. His research focuses on machine learning methods, explainability, fairness, and ethics of AI, alongside systems for scalable AI deployment. Education details are not explicitly provided, but his work spans foundational contributions to machine learning systems (e.g., XGBoost) and explainable AI frameworks like Anchors and LIME. He emphasizes ethical AI through projects like CheckList for model testing and Model Equality Testing for API transparency. His scientific contributions include advancing optimization techniques (AdaScale SGD, TVM compiler) and ethical benchmarks for generative AI. He has been recognized as a Member of the National Academy of Engineering for his transformative impact on AI systems and their societal applications. Guestrin leads interdisciplinary initiatives at SAIL and HAI, fostering collaboration between technical innovation and human-centered design. His work bridges theory and practice, addressing challenges in healthcare (diabetes management systems) and AI security.