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

Christophe Hauserمشاهده پروفایل

استادیار

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

Christophe Hauser is an Assistant Professor at Dartmouth College and a member of the Institute for Security, Technology and Society (ISTS). His research focuses on software security, binary program analysis, reverse engineering, and vulnerability discovery across software and hardware systems. He integrates formal methods, machine learning, and program analysis to enhance cybersecurity defenses. Education: Joint PhD from CentraleSupélec (France) and Queensland University of Technology (Australia). Prior roles include Research Lead at USC Information Sciences Institute (USC-ISI) where he founded the Binary Analysis and Systems Security (BASS) group, and postdoctoral researcher at UC Santa Barbara’s Seclab. Research Interests: Binary code and firmware analysis, intrusion detection, usable security, privacy-preserving systems. Notable projects include BinPool (vulnerability dataset), BinHunter (vulnerability localization), and Harm-DoS (DoS mitigation). His work emphasizes practical applications such as automated fuzzing, decompilation analysis, and neuro-symbolic code search systems. He has contributed to open-source tools like angr and developed frameworks for firmware integrity validation (BootKeeper).

Tobias Fischerمشاهده پروفایل

مدرس ارشد

• Robotics
• Computer Vision
• Computational Cognition
• +۴ مورد دیگر

Dr. Tobias Fischer is a Senior Lecturer at Queensland University of Technology (QUT) in the School of Electrical Engineering & Robotics, Faculty of Engineering. He is an ARC DECRA Fellow and leads research in robotics, computer vision, and computational cognition. His work focuses on enabling robots to interact with humans through perception systems inspired by animal visual systems. He holds a PhD from Imperial College London and has held postdoctoral roles at Imperial College's Personal Robotics Lab. Education: PhD (Imperial College London, 2019), MSc (University of Edinburgh, 2014), BSc (Ilmenau University of Technology, Germany, 2013). Scholarships include the German National Academic Foundation and DECRA Fellowship. Research interests span bio-inspired neural networks, event-based vision, spiking neural networks, and neuromorphic computing. He has led projects funded by Intel, Amazon, Samsung, EU, and Australian Research Council, including $462,000 DECRA grant for adaptive robot positioning. Key awards include the 2023 IEEE Outstanding Paper Award and Queen Mary UK Best PhD in Robotics. Teaching includes units like EGB339 Introduction to Robotics and EGB439 Advanced Robotics. Supervision involves PhD students in place recognition and underwater imagery. His lab, QUT Centre for Robotics, focuses on long-term localization and bio-inspired autonomy.

• Computer Security
• Blockchain Technology
• Formal Methods
• +۳ مورد دیگر

Markus Scherer is a PreDoc Researcher in the Department of Security and Privacy at Technische Universität Wien. His work focuses on formal methods, static analysis of smart contracts, and WebAssembly security. He holds a Diplom-Ingenieur (BSc equivalent) from TU Wien and has conducted research under Prof. Matteo Maffei. Education: 2016: Diploma Thesis on 'Parallelizing the commutation property for functions over small domains' at TU Wien Research Interests: Sound static analysis for Ethereum smart contracts and WebAssembly Formal verification of blockchain systems Development of provably secure analysis tools (e.g., eThor, Wappler) Key Projects: Browsec (2018–2024) CDL-BOT (2020–2025) ForSmart (2023–2027) SFB SPyCoDe (2023–2026) Advising: Supervised Master's thesis of Martin Schweighofer on cross-contract reachability analysis (2022).

Christophe Hauserمشاهده پروفایل

استادیار

• Software Security
• Program Analysis
• Formal Methods
• +۸ مورد دیگر

Christophe Hauser is the Speers Family Assistant Professor of Computer Science at Dartmouth College and a member of the Meeting New Challenges of Cybersecurity Cluster. His research focuses on software security, particularly in developing models to analyze cyber attacks and defenses across software and hardware boundaries. He previously served as a Research Lead and founded the Binary Analysis and Systems Security (BASS) group at the University of Southern California’s Information Sciences Institute (USC-ISI) and was a postdoctoral researcher at the University of California, Santa Barbara’s Seclab. Hauser holds a joint PhD from CentraleSupélec in France and Queensland University of Technology in Australia, combining expertise in computer science and cybersecurity. His research interests include software security, program analysis, formal methods, machine learning applications in vulnerability discovery, and privacy-preserving systems. He specializes in binary code and firmware analysis, reverse engineering, and intrusion detection systems. Hauser’s recent work emphasizes automated fuzzing techniques, static and dynamic analysis of binary executables, and privacy-preserving solutions. His projects often bridge theoretical foundations with practical applications, such as improving vulnerability detection through neuro-symbolic methods and enhancing system security against DoS attacks. He has led initiatives such as the BASS group and contributed to the angr binary analysis platform. His work has resulted in impactful datasets like BinPool and tools like BinHunter for vulnerability localization.

Lars Birkedalمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Separation Logic
• +۴ مورد دیگر

Lars Birkedal is a Professor in the Department of Computer Science at Aarhus University, Denmark. He is a leading researcher in programming languages and formal methods with extensive contributions to the field over the past decade. His work appears consistently in top-tier programming languages conferences including POPL, ICFP, and PLDI, where he has served in leadership roles such as Program Chair and committee member. Birkedal's research primarily focuses on the theoretical foundations of program verification, with significant contributions to separation logic, type theory, and formal methods for concurrent and probabilistic systems. His work bridges theoretical computer science with practical verification challenges, particularly through the development and application of the Iris framework for higher-order concurrent separation logic. He has pioneered approaches for reasoning about probabilistic programs, capability-based security, and memory models for modern architectures. Analysis of Birkedal's recent publications (2023-2025) reveals a continued focus on advancing separation logic for increasingly complex systems. His work shows a clear trajectory from foundational theoretical work toward practical verification of real-world systems like WebAssembly while maintaining rigorous formal guarantees. There's a notable emphasis on probabilistic programming, error bounds analysis, and distributed systems verification in his most recent contributions. As a faculty member at Aarhus University, Birkedal has built a strong research group focused on programming language theory and formal verification. His leadership in the programming languages community is evident through his repeated service on program committees for major conferences and his mentorship of numerous graduate students and junior researchers, though specific student names aren't listed in the available information. His research has likely been supported by significant grants from Danish and European funding agencies, given the sustained output and international collaborations evident in his publication record.

• Program Specification and Verification
• Concurrent Separation Logics
• Symbolic Execution
• +۵ مورد دیگر

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, holding a UK Research and Innovation Established Fellowship (2018–2023). She specializes in program specification, verification, and concurrent separation logics. Her Gillian platform unifies symbolic execution, verification, and testing for C and JavaScript. She was elected a Fellow of the Royal Academy of Engineering (2020) and directed the Research Institute on Verified Trustworthy Software Systems (VeTSS, 2017–2023). Her work includes foundational contributions to separation logic, concurrent program reasoning, and mechanised language specifications. Education: PhD in Computer Science from Edinburgh (1992), supervised by Gordon Plotkin. Key roles: General Chair of POPL 2024, organiser of the Isaac Newton Institute's 'Verified Software' programme (2022). Research interests span formal methods, concurrency, and tool development. Notable grants include £1.5M EPSRC Established Career Fellowship (2018–2023) and £500K Facebook Research gift (2020). Awards include Imperial’s President and Rector’s Teaching Award (2013).

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• +۵ مورد دیگر

Quentin Stiévenart is a post-doctoral researcher at the Software Languages Lab of the Vrije Universiteit Brussel (VUB) in Belgium, specializing in programming languages and program analysis. His research spans multiple areas within static and dynamic analysis, with a particular focus on WebAssembly security and analysis techniques. His primary research interests include: Static and dynamic program analysis Abstract interpretation Type systems and effect systems Concurrent and higher-order programming languages WebAssembly security and analysis Interpreter and framework design Stiévenart's recent publications demonstrate a strong focus on compositional and modular analysis techniques, particularly applied to WebAssembly. His work addresses critical security concerns in WebAssembly, including information flow analysis, binary analysis, and vulnerability detection. He has also contributed to frameworks for static analysis of higher-order languages and techniques for improving analysis performance through parallelism and incremental computation. His academic service includes extensive peer review activities and program committee membership for major conferences including SAS, SCAM, ICFP, ECOOP, and OOPSLA, with a particular emphasis on artifact evaluation committees. Stiévenart has developed several research tools including Wassail (a static analysis tool for WebAssembly security), MAF (a framework for modular static analyses), and Scala-AM (a framework for developing static analyses in Scala).

• Data Stream Processing
• In-Network Computing
• Industrial Cyber-Physical Systems
• +۷ مورد دیگر

Liam Tirpitz is a researcher and PhD candidate at the Department of Computer Science, Faculty of Mathematics, Computer Science and Natural Sciences, RWTH Aachen University. He is affiliated with the Chair of Computer Science i5 (Information Systems and Databases) and the Data Stream Management and Analysis Group, where he has been working since February 2022. Education : Master's degree in Computer Science from RWTH Aachen University (2021). His research focuses on data stream processing, in-network computing, and FAIR data ecosystems, with applications in industrial and cyber-physical systems. He explores methods for efficient data aggregation, stability detection, and cross-organizational data sharing, often leveraging technologies like WebAssembly and knowledge graphs. His work integrates distributed systems principles with database technologies to enable scalable and secure data processing in industrial environments. The recent publications of Liam Tirpitz reflect a strong focus on industrial data management, with trends toward in-network computing, edge-based stream processing, and FAIR principles. His work spans both theoretical architectures (e.g., GALOIS) and applied implementations in domains like manufacturing and health data, demonstrating interdisciplinary collaboration and real-world impact. Liam Tirpitz is actively involved in teaching and academic supervision. He has taught courses such as Data Ecosystems Lab and Implementation of Databases, and is currently supervising multiple thesis projects on topics including WebAssembly-based query functions, anomaly detection, and hybrid stream processing. He participates in research projects like StreamFröst and the Cluster of Excellence Internet of Production, contributing to the development of digital infrastructure for sustainable industrial systems. He is based at the Chair of Computer Science i5, a leading research group in information systems and databases at RWTH Aachen, which supports his work in data-intensive applications and distributed computing environments.

• Software Security
• Systems Security
• Smart Contract Security
• +۵ مورد دیگر

Lucas Vincenzo Davi is a Professor of Computer Science at the University of Duisburg-Essen and Director of the paluno - the Ruhr Institute for Software Technology . He leads the SYSSEC research group and is a Principal Investigator (PI) in the SFB CROSSING and CASA excellence cluster. His work focuses on practical software and systems security, including memory corruption vulnerabilities, exploit mitigation, and blockchain smart contract security. Davi holds an ERC Starting Grant for Smart Contract Security research. Education: PhD in IT Security, TU Darmstadt (2011–2015), Dissertation: "Code-Reuse Attacks and Defenses" Master of Science in IT Security, Ruhr-Universität Bochum (2007–2009) Diplom (FH) in Business Informatics, FOM Neuss (2003–2007) Research: Davi's work emphasizes real-world security challenges like runtime attacks, trusted execution environments (TEE), and secure embedded systems. His contributions include Wemby (WebAssembly security analysis), HCC (smart contract hardening), and rowhammer mitigations like CATT. His research has influenced industry practices, e.g., Microsoft EMET v5.1 improvements. Awards: Best Teacher Award (2025) Finalist German IT Security Prize (2022, 2020) ACM SIGSAC Dissertation Award (2016) CAST Förderpreis (2010) Grants & Leadership: ERC Starting Grant (Smart Contracts), SFB CROSSING PI, CASA Cluster PI, and leadership in interdisciplinary initiatives like Nano Security (DFG Priority Program). Labs/Teams: Director of paluno, SYSSEC group leader, and collaborator in projects like HERA (hotpatching for embedded systems) and DMA’n’Play (DMA-based attestation).

Merlijn Sebrechtsمشاهده پروفایل

پژوهشگر

• Computer System Architecture
• Computer System Security
• Cryptography, Privacy and Security
• +۹ مورد دیگر

Merlijn Sebrechts is a postdoctoral researcher and policy officer at Ghent University's Faculty of Engineering and Architecture, Department of Information Technology (EA05). His work focuses on cloud-native technologies, edge computing, and secure system design. Research areas include Kubernetes, WebAssembly, and confidential computing He teaches computer science courses in the Information Engineering Technology program Expertise spans trusted execution environments, software supply chain security, and cloud orchestration His recent publications analyze edge computing security, lightweight virtualization, and intent-based resource management. Key contributions include decentralized orchestration frameworks and benchmarks for cloud performance. Merlijn maintains strong ties to open-source ecosystems through involvement with Kubernetes, Docker, and the Ubuntu community.

• Semantic Web
• Internet of Things
• Ontology Reasoning
• +۵ مورد دیگر

Floriano Scioscia is a researcher at the Polytechnic University of Bari, Department of Electrical Engineering and Information Technology, with extensive contributions to the Semantic Web, Internet of Things, and knowledge-based systems. His work focuses on developing frameworks for semantic reasoning, resource discovery, and intelligent systems in ubiquitous computing environments. His research interests span multiple domains within computer science: Semantic Web technologies and ontology reasoning Internet of Things and Cyber-Physical Systems Cloud-Edge computing architectures Knowledge representation and semantic matchmaker systems Mobile and ubiquitous computing applications Analysis of his recent publications (2023-2025) reveals a strong focus on edge-based semantic reasoning, with significant work on the Tiny-ME and Cowl frameworks for lightweight OWL reasoning on resource-constrained devices. His research has increasingly incorporated blockchain technologies into IoT systems and explored the concept of "Internet of Conscious Things" with social capabilities for smart objects. The interdisciplinary nature of his work bridges computer science with healthcare applications, particularly in clinical decision support systems. Dr. Scioscia has collaborated extensively with researchers including Michele Ruta, Eugenio Di Sciascio, Giuseppe Loseto, and Filippo Gramegna across numerous projects spanning more than 15 years of research output.

José Fragoso Santosمشاهده پروفایل

استادیار

• JavaScript Verification
• Formal Methods
• Symbolic Execution
• +۳ مورد دیگر

Welcome to my home page. I am an Assistant Professor at the Department of Computer Science and Engineering, Instituto Superior Técnico, University of Lisbon, and a researcher at INESC-ID's SAT group. My work focuses on embedding formal methods into software development, particularly for JavaScript programs. PhD in Computer Science, University of Nice Sophia Antipolis (2014) MSc in Information Systems and Computer Engineering, Instituto Superior Técnico (2008) My research spans JavaScript verification, symbolic execution, and separation logic. I developed JaVerT, the first separation-logic-based tool for JavaScript analysis, used by Amazon to verify the AWS Encryption SDK and recognized with a Facebook Research Award. Recent publications highlight trends in symbolic execution, JavaScript security, and WebAssembly analysis. Key projects include Gillian (multi-language symbolic execution platform), Rexstepper (regular expression debugger), and Wasmati (WebAssembly vulnerability scanner). Facebook Research Award Supervised students include PhD researcher Gabriela Cunha Sampaio and MSc students Pedro Lopes, Carolina Costa, and others. Current teaching subjects: Analysis and Synthesis of Algorithms, Object-Oriented Programming, Software Security. Affiliated with the SAT group at INESC-ID and the Verified Trustworthy Software Specification group at Imperial College London.

Marco Vassenaمشاهده پروفایل

استادیار

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

Marco Vassena is an Assistant Professor at the Department of Information and Computing Sciences, Utrecht University, within the Faculty of Science. He focuses on developing principled methods for building secure systems, bridging Security and Programming Languages research communities. His work applies type systems, compilers, program analysis, and verification to ensure reliable security guarantees in software systems. PhD in Computer Science from Chalmers University of Technology Visiting Assistant Professor at Stanford Postdoctoral Researcher at CISPA Helmholtz Center for Information Security Member of the CISPA-Stanford Center for Cybersecurity His research spans language-based security (constant-time programming, memory safety, information flow control), software defenses against Spectre and side-channel attacks, and WebAssembly sandboxing. He leads projects like MSWasm and Blade, targeting microarchitectural attack mitigation through formal verification and compiler design. Scientific recognition includes the Veni Grant (2023). Current projects explore speculative execution security, dynamic information flow control, and secure WebAssembly implementations.

Soham Chakrabortyمشاهده پروفایل

استادیار

• Programming Languages
• Compilers
• Computer Architecture
• +۳ مورد دیگر

Soham Chakraborty is an Assistant Professor at the Programming Languages Group, TU Delft since 2021. He previously served as an Assistant Professor at the CSE Department, IIT Delhi before joining TU Delft. His academic journey includes a PhD from Max Planck Institute for Software Systems (MPI-SWS) in 2019 and a Master's degree from CSE Department, IIT Kharagpur in 2008. Affiliation: TU Delft, IIT Delhi, MPI-SWS Research Interests: Programming Languages, Compilers, Architecture, Verification, Concurrency His research focuses on formal semantics, compiler correctness, architecture-to-architecture translation, and verification of weak memory models. He has contributed to major conferences including POPL, PLDI, CGO, and ASPLOS. His work addresses challenges in heterogeneous concurrency, relaxed memory concurrency, and binary translation for weak memory architectures. Recent works include How Hard is Weak-Memory Testing? (POPL'24) and Toast: A Heterogeneous Memory Management System (PACT'24). He also received the Distinguished Paper Award at DATE'25 and Distinguished Artifact Award at PODC'22 . Teaching: Courses like Concepts of Programming Languages (CS2120), Parallel and Concurrent Programming (CS4555), Compiler Construction (CS4555), Analysis of Concurrent and Distributed Programs (CS4405), Software Fundamentals (Rust), and Seminar Programming Languages (COL 380) Students: PhD student Dennis Sprokholt, MSc students Michal Raczkiewicz, Alexandru Dumitriu, Huixuan Wu, and alumni including Pieter van den Ham, Mingyu Gao, Jeroen Kloppenburg, and others. Service: Served on program committees for POPL, PLDI, CGO, VMCAI, APLAS, and Eurosys workshops.

William J. Bowmanمشاهده پروفایل

استادیار

• Secure and Verified Compilation
• Dependently Typed Programming
• Verification
• +۴ مورد دیگر

William J. Bowman is an Assistant Professor in the Department of Computer Science at the University of British Columbia. He focuses on secure and verified compilation, dependently typed programming, and meta-programming systems. His work bridges high-level language design with low-level code generation to maintain correctness and security invariants throughout compilation. Education: PhD in Computer Science from Northeastern University Research spans type-preserving compilation, including: Typed closure conversion for dependently typed languages Allocation-aware type universes Hybrid embedding techniques Secure interoperability via multi-language semantics Recent publications examine: Heap allocation modeling through type universes Flat closure representations WebAssembly extensions with indexed types Control-effect semantics