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

• Computer Science
• Cybersecurity
• WebAssembly Security
• +۳ مورد دیگر

Weihang Wang is a Volunteer Assistant Professor in the Department of Computer Science and Engineering at the University of Southern California (USC), part of the School of Engineering and Applied Sciences. His research focuses on WebAssembly security, program analysis, and static/dynamic analysis frameworks. He holds a PhD and has published extensively on topics like WebAssembly obfuscation, decompilation techniques, and flaky test mitigation. Research interests include cybersecurity, software engineering, and the application of AI in program analysis. His work addresses challenges in cross-compilation for WebAssembly, decompilation accuracy, and automated detection of security vulnerabilities in web applications. Notable projects include WaSCR (side channel repairer), WBSan (bug detection), and Wefix (flaky test automation). He has received NSF travel grants for IEEE Security Development (SecDev) conferences in 2022 and 2023. His articles span 2010–2025, showing sustained contributions to web security, compiler optimization, and program transformation. His work intersects with practical applications like ad-blocking systems (Adhere) and bird flu outbreak prediction using migration data (2010–2013). Grants and awards include NSF funding for travel and research, reflecting his active role in academic conferences. He is affiliated with USC's computer science department and maintains an active Google Scholar profile with over 30 publications listed.

Quentin Stiévenartمشاهده پروفایل

پژوهشگر

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

• Computer Security
• Program Analysis
• Machine Learning
• +۴ مورد دیگر

Mu Zhang is an Assistant Professor at the Kahlert School of Computing, University of Utah. His research focuses on computer security, particularly developing tools using program analysis, machine learning, and data mining to address security issues in Web3, cyber-physical systems, and mobile systems. Previously, he was a Postdoc at Cornell University and a Research Staff Member at NEC Labs America. Education and Background: Postdoc, Cornell University Research Staff Member, NEC Labs America Research Interests: His work emphasizes automated detection and mitigation of security vulnerabilities, including smart contract flaws, industrial control system threats, and malware analysis. He explores innovative solutions like ICSTracker for intrusion backtracking and DEEPVMUNPROTECT for VM-protected Android malware recovery. Recent efforts span blockchain formal verification, Wasm runtime testing, and cross-domain threat inference. Recent Contributions: Notable publications include papers on provenance analysis for industrial control systems (DSN'25), storage collision mitigation in smart contracts (USENIX Sec'25), and automated generation of security-centric smart contract descriptions (ISSTA'23, distinguished paper). Funded projects include NSF grants for AI security education and Cisco Research for smart contract semantics recovery. Awards: His team received the ACM SIGSOFT Distinguished Paper Award (2023) and CCS 2022 Best Paper Honorable Mention. Advising and Grants: Supervises PhD/MSc students like Yu, Wanjing, and Taiji. Active in proposal funding (e.g., Idaho National Lab for industrial control systems, Stellar Foundation for smart contract analysis). Served on TPCs for NDSS, CCS, and ISSTA. Labs/Teams: Leads a research group at University of Utah focusing on secure software systems and automated security tool development.

Coen De Rooverمشاهده پروفایل

استاد

• Program Analysis
• Software Quality
• Static and Dynamic Analysis
• +۷ مورد دیگر

Coen De Roover is a Professor at the Software Languages Lab of the Vrije Universiteit Brussel , actively leading research in program analysis, software quality, and security. He chairs the Bachelor in Computer Science program and supervises a dynamic research group. Research Focus: Static/dynamic analysis, automated testing, software maintenance, AI for SE, infrastructure as code security. Projects: Bugatti (2025-2028), Cracy (2024-2027), CRPF (2024-2028), BaseCamp Zero (2022-2026), EcoPipe (2023-2025), APAX (2022-2024). Scientific Awards: MSR 2025 Distinguished Dataset Award IEEE TCSE Distinguished Paper Award (SANER 2022) ICSE 2022 Best Artifact Award SCAM 2022 Best Artifact Award Conference Leadership: General Chair of SCAM 2024, Program Co-Chair for GPCE 2024, and active in organizing summer schools on security testing.

• Static and dynamic analysis
• Program transformations
• Web security
• +۴ مورد دیگر

David Klein is a PhD Candidate at the Institute for Application Security , part of the Carl Friedrich Gauss Faculty at TU Braunschweig . His work focuses on web security and privacy , with specific expertise in static and dynamic analysis of vulnerabilities, program transformations, and GDPR compliance frameworks. David's research spans multiple subfields, including browser fingerprinting, cross-site scripting (XSS), and memory corruption in WebAssembly. His 15 most recent publications (2013–2025) investigate topics like HTML sanitizer bypasses , privacy-enforcement frameworks , and developer behavior in privacy implementation . His work has been presented at top venues like USENIX Security , IEEE S&P , and PETS . 2024: Distinguished Paper Award Winner at 33rd USENIX Security Symposium David actively participates in program committees for conferences such as ACM CCS , USENIX Security , and IEEE Euro S&P , contributing to the peer-review process in cybersecurity and privacy research.

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Amal Ahmedمشاهده پروفایل

استاد

• Programming Languages
• Compiler Verification
• Secure Compilation
• +۳ مورد دیگر

Dr. Amal Ahmed is a Professor of Computer Science at Northeastern University's Khoury College, where she leads research on programming languages and compilers. Her work develops formal foundations for secure multi-language software systems. Core research areas: Compiler correctness for heterogeneous codebases Type-preserving compilation Secure interoperability (FFI/ABI semantics) Gradual typing theory Recent publications address WebAssembly security, probabilistic program verification, and ABI specification. Methodological innovations include logical relations for compiler verification and multi-language semantic frameworks. Honors and funding: NSF CAREER Award (2015) Google Faculty Research Award (2014) DARPA V-SPELLS grant NSF SHF grants Dr. Ahmed directs the SILC (Secure Interoperability, Languages, and Compilers) group and co-organizes programming languages mentoring workshops. She teaches graduate courses on type theory and compiler verification.

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

دانشیار

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

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).

• Programming Languages
• Static Analysis
• Software Engineering
• +۷ مورد دیگر

Qirun Zhang is the Catherine M. and James E. Allchin Early Career Associate Professor in the School of Computer Science at Georgia Institute of Technology. He earned his Ph.D. in Computer Science and Engineering from The Chinese University of Hong Kong (2013) and bachelor's degree in Computer Science from Zhejiang University (2009). Zhang teaches graduate courses in compilers, software analysis, and program analysis, including CS 6340 Software Analysis and Test (Fall 2024) and CS 4240 Compilers and Interpreters (Spring 2025). His research focuses on improving software reliability and security through program analysis and compiler optimization techniques. Key research areas include computational complexity, analytic combinatorics, graph theory, and formal languages. Current projects include SLOT (SMT-LLVM Optimizing Translation) , Mutual Refinements of Context-Free Language Reachability , and Context-Free Language Reachability with Transitive Redundancy Elimination , among others. Zhang's research has produced award-winning work including the SIGSOFT Distinguished Paper Award (FSE 2023) and PLDI Distinguished Paper Award (2020). He has advised multiple students including Ph.D. graduates Shuo Ding (2024) and Yuanbo Li (now at Facebook), with Benjamin Mikek and Camille Bossut currently pursuing their Ph.D.s. As an academic leader, Zhang has served as: Artifacts Chair: PLDI'26, PLDI'25 Program Committee: PLDI'26, POPL'26, SAS'25, ASPLOS'25, SAS'24, FSE'24 External Reviewer: PLDI'19, PLDI'18 His group maintains active GitHub repositories for tools like Perses (syntax-guided program reduction) and Skeletal Program Enumeration (compiler testing framework). Zhang also contributes to educational resources by maintaining course materials on static analysis, symbolic execution, and webassembly analysis.

Benoit Baudryمشاهده پروفایل

استاد

• Software Engineering
• Software Testing
• Blockchain Technology
• +۴ مورد دیگر

Benoit Baudry is a Professor in Software Technology at KTH Royal Institute of Technology (KTH) within the Digital Futures Faculty and Division of Theoretical Computer Science. He also holds a professorship at Université de Montréal. His research focuses on software diversity, testing, and reliable web-based applications, emphasizing experimental approaches using large-scale open-source systems. He leads the CHAINS project (supported by SSF) and holds a Wallenberg AI, Autonomous Systems and Software Program (WASP) research chair. Previously, he directed the CASTOR software research center (2018–2022) and led the DiverSE group at INRIA Rennes, France. Research Interests Baudry's work spans software supply chain security, blockchain node reliability, and production monitoring for test suite improvement. He explores techniques like N-version design for blockchain nodes, binary diversification for WebAssembly, and coverage-based debloating of Java dependencies. His methods emphasize collaboration with industry and empirical validation of software systems. Grants & Projects - CHAINS project (SSF-funded) - WASP research chair - Former leadership of CASTOR and DiverSE groups. Labs & Collaborations Affiliated with Digital Futures, a cross-disciplinary center at KTH collaborating with Stockholm University and RISE. His work addresses societal challenges via digital technology innovation.

Amal Ahmedمشاهده پروفایل

استاد

• Compiler Verification
• Language Interoperability
• Type Systems
• +۷ مورد دیگر

Amal Ahmed is a Professor at Khoury College of Computer Sciences, Northeastern University, where she leads the SILC (Secure Interoperability, Languages, and Compilers) research group. She holds a Ph.D. in Computer Science from Princeton University. Her research focuses on programming languages, compilers, and software security, with emphasis on compiler verification, language interoperability, type systems, gradual typing, and secure compilation. She teaches courses including CS7470 (Seminar in PL: Logical Relations) and CS7400 (Intensive Principles of Programming Languages). Research Focus Dr. Ahmed's work bridges theoretical foundations and practical implementation, exploring: semantics and type systems for imperative/probabilistic languages; safe multi-language interoperability; compiler correctness; gradual typing; and provenance. Her recent publications demonstrate strong emphasis on secure compilation techniques, WebAssembly interoperability, and formal verification of compiler transformations. Professional Recognition NSF CAREER Award recipient Keynote speaker at major conferences including OOPSLA 2023, LICS 2022, and ESOP 2018 Program chair for POPL 2023 and OOPSLA 2022 Editorial board member for Journal of Functional Programming and Mathematical Structures in Computer Science Research Team & Students Dr. Ahmed leads an active research group with 7 PhD students and 1 postdoc. She has graduated 4 PhD students who now hold academic positions at University of Michigan, UBC, and Northeastern. Her mentorship extends to numerous MS students and undergraduates, with several receiving NSF GRFP awards.

• High-Performance Data Transfer
• Parallel Data Processing
• Memory-Safe Programming (Rust)
• +۳ مورد دیگر

Róbert Tornai serves as an Associate Professor in the Department of Data Science and Visualization at the Faculty of Informatics, University of Debrecen, Hungary. His institutional affiliation encompasses active participation in the department's core mission of advancing data processing, visualization, and computational methodologies within Hungary's academic landscape. His primary research focuses on high-performance data transfer in supercomputing environments, parallel data processing using memory-safe Rust programming, and virtual collaboration system development. These interconnected domains emphasize optimizing data-intensive workflows while ensuring system security and user accessibility, reflecting contemporary challenges in distributed computing infrastructure. Analysis of his 15 most recent publications reveals dominant trends in high-speed connectionless networking protocols (2020-2025), where he investigates performance optimization, error detection, and encryption for file transfer systems. Significant secondary themes include biometric security applications (iris/voice recognition) and GPU-accelerated image processing techniques leveraging WebAssembly and Vulkan API, demonstrating technical versatility across networking, security, and visualization domains. His scholarly output consistently addresses practical implementation challenges in data transfer and secure systems, with recent work extending into educational technology applications of 3D printing. This trajectory indicates sustained engagement with evolving computational paradigms while maintaining focus on real-world system performance and security requirements.

Anton Semjonovمشاهده پروفایل

پژوهشگر

• Computation Offloading
• Edge Computing
• Distributed Systems
• +۷ مورد دیگر

Anton Semjonov is a Research Associate in the Distributed Operating Systems (DOS) group at the Department of Informatics, University of Hamburg, working under Prof. Dr. Janick Edinger. He also leads the interdisciplinary Creative Lab "base.camp" at the faculty level, fostering student innovation and real-world problem solving. His academic journey includes a Master’s in Informatics with a focus on Information Security from Universität Hamburg (2023) and a Bachelor’s in General Engineering Science with a focus on Computer Science from TU Hamburg (2020). Master of Science, Informatics (Information Security), Universität Hamburg, 2023 Bilingual Bachelor of Engineering, General Engineering Science (Computer Science), TU Hamburg, 2020 His research focuses on computation offloading and edge computing, particularly through browser-based middleware like Wasimoff, which leverages WebAssembly to enable zero-setup, volunteer-driven distributed computing. He also investigates coordination in distributed systems and information security, with publications at Middleware and IEEE PerCom. His work extends into computer science education, where he analyzes how creative labs bridge gaps in traditional curricula. The most recent articles highlight a strong trend in decentralized, secure, and scalable computing frameworks that utilize idle edge devices through web browsers. These works emphasize real-world deployment, performance evaluation, and the integration of privacy-preserving and context-aware mechanisms in heterogeneous environments. There is a clear interdisciplinary thread combining systems research with educational innovation. No scientific awards have been mentioned in the provided materials. Anton Semjonov is actively involved in research advising through his leadership in the DOS group and the base.camp lab. He contributes to research projects such as DDLitLab's LegalGPT initiative. While no formal grants are listed, his ongoing contract and project involvement suggest active funding support. He collaborates with Prof. Edinger and other researchers on distributed systems and AI applications. He is a key member of the Distributed Operating Systems research group and leads the Creative Lab "base.camp," which serves as an interdisciplinary platform for students to develop innovative solutions to real-world problems. These environments support open-ended, exploratory learning and promote collaboration across academic and societal domains.

Jules Dejaeghereمشاهده پروفایل

پژوهشگر

• Cybersecurity
• Distributed Networks
• Anonymous Communication
• +۳ مورد دیگر

Jules Dejaeghere is a Researcher at the Faculty of Computer Science, University of Namur, working within the Namur Digital Institute. They hold an ORCID ID (0000-0002-4970-3730) and have established research expertise in cybersecurity with particular focus on distributed networks and privacy-enhancing technologies. Research interests include: Cybersecurity Distributed Networks Anonymous Communication WebAssembly Traffic Analysis Computer Security Dejaeghere's publication portfolio demonstrates evolving expertise in privacy technologies, with recent work focusing on merging traffic for improved privacy, flexible anonymous networks, and security comparisons between emerging technologies like eBPF and WebAssembly. Their research consistently addresses the tension between privacy requirements and system performance in networked environments. Currently active in the CYBEREXCELLENCE project (2022-2027), a cybersecurity excellence initiative within the Walloon Region plan, Dejaeghere contributes research focused on security tools development and computer code analysis. The project shows strong alignment with their expertise in security (100%), tools (80%), and computer codes (73%). Professional activities include presentations at the 23rd Workshop on Privacy in the Electronic Society (2024), the Belgium-Netherlands Software Evolution Workshop (2024), and upcoming participation in the Next Generation Internet Forum 2025, demonstrating active engagement in the cybersecurity research community.

• Binary Analysis
• Reverse Engineering
• Software Security
• +۷ مورد دیگر

Thorsten Holz is a Professor and Head of the Chair for System Security at Ruhr-University Bochum's Faculty of Computer Science. His research team focuses on critical areas of cybersecurity including binary analysis, automated vulnerability discovery (fuzzing), embedded systems security, and privacy compliance (GDPR). Research Focus: His work spans: Binary analysis & reverse engineering techniques Software security with emphasis on fuzzing and automated vulnerability assessment Security of embedded/IoT systems Privacy mechanisms and GDPR implementation Network and internet security protocols Publication Trends: Recent works (2024-2025) demonstrate strong emphasis on: Advanced fuzzing methodologies for software/hardware systems Security of satellite and aerospace systems Detection of AI-generated media (deepfakes) and LLM vulnerabilities Trusted execution environments (TEEs) and memory corruption defenses Social media/platform security abuses He leads a research group developing cutting-edge tools for vulnerability discovery and security validation, with significant real-world impact in both academic and industry domains.