Find Academic Supervisors

Alexandros KapravelosView profile

Associate Professor

• Web Security
• Software Supply Chain Security
• AI Security
• +3 more

Alexandros Kapravelos is an Associate Professor in the Department of Computer Science at North Carolina State University. His research focuses on web security, software supply chain security, and AI security, with a particular emphasis on browser security and the evolving threats in modern computing platforms. Education Ph.D. in Computer Science, University of California, Santa Barbara (2015) M.S. in Computer Science, University of Crete (2010) B.S. in Computer Science, University of Crete (2007) Research Interests Kapravelos's work spans several critical areas in cybersecurity: Web Security & Privacy : Investigating threats such as browser fingerprinting, malicious JavaScript, and tracking techniques. Software Supply Chain Security : Analyzing vulnerabilities in CI/CD workflows, open-source dependencies, and reproducible builds. AI Security : Exploring the implications of large language models (LLMs) on security and privacy. Scientific Awards NSF CAREER Award IEEE Symposium on Security and Privacy Best Paper Award (twice) Network and Distributed System Security Symposium (NDSS) Best Paper Award Grants & Funding Kapravelos has secured significant funding from agencies including the National Science Foundation (NSF), DARPA, and the US Navy. Notable grants include: Collaborative: SaTC: Frontiers : $5.7M for software supply chain security (2022–2027) CAREER: Web Evolution and Emerging Threats : $439K for browser security research (2021–2027) Collaborative: SaTC: CORE : $799K for defending against stateless web tracking (2022–2026) Labs & Teams He is a member of the Wolfpack Security and Privacy Research (WSPR) Lab and faculty mentor of HackPack , a student CTF team. He also co-organized the DEF CON CTF (2018–2021) as part of The Order of the Overflow .

Andrea ErossView profile

Associate Professor

• Financial Risk Management
• Bank Regulation
• Green Growth
• +3 more

Andrea Eross is an Associate Professor of Finance at Heriot-Watt University in Edinburgh, UK. She joined in May 2016 as an Assistant Professor and was promoted to her current rank in August 2023. Her affiliations include the School of Social Sciences and the Edinburgh Business School. Eross holds a PhD in Finance from the University of Southampton (2015), an MSc in International Finance from the University of Dundee (2010), an MA in European Economy and Management from Abertay University (2008), and a BSc in Economics from Edutus College Budapest (2007). Her research interests span risk contagion, systemic risk, green growth, cryptocurrency analysis, Bayesian modeling, and machine learning. Notable contributions include studies on feed-in-tariffs for renewable energy, Bitcoin transaction tracking, and liquidity risk in interbank markets. She has received the EICC Best Paper Award 2022 for work on cryptocurrency transaction detection. Eross actively advises PhD students since 2016 and holds leadership roles such as Finance PhD Lead (since 2022) and Undergraduate Programme Director for Finance (2019–2022). She co-leads the Centre for Social and Economic Data Analytics (2021–2023) and chairs the Board of Programme Directors for Finance (2022–2023). Her teaching includes modules like Banking and Applied Financial Modelling in Python . Her work contributes to UN Sustainable Development Goals related to affordable clean energy and sustainable cities. Recent research trends emphasize interdisciplinary methods (e.g., NLP, machine learning) applied to financial stability and green growth policy analysis.

SAITO ShoichiView profile

Professor

• Information Security
• Computer Systems
• Software Engineering
• +3 more

Professor Shoichi Saito is a distinguished academic at Nagoya Institute of Technology, where he serves in the Department of Information Engineering within the College of Engineering. His research focuses on information security, computer systems, and software engineering, with particular expertise in IoT security, distributed systems, and network security. Professor Saito earned his Doctor of Engineering from Ritsumeikan University in March 2000. Prior to his current position, he served as Assistant Professor, Lecturer, and Associate Professor at Wakayama University's Faculty of Systems Engineering from 1998 to 2006. His research interests span multiple critical areas of modern computing: Information security with focus on IoT device protection Distributed systems and blockchain technologies Mobile application security, particularly for Android platforms Confidential information protection using virtual machine technologies Network security and anonymous communication systems Professor Saito's research outputs demonstrate a consistent focus on practical security solutions for emerging technologies. His recent work has centered on IoT security, data usage control in distributed environments, and advanced taint tracking mechanisms for mobile applications. His research bridges theoretical security concepts with practical implementation challenges. Among his notable recognitions are multiple awards from the Information Processing Society of Japan's Computer Security Research Group, including CSS2024 Student Paper Awards and Encouragement Awards. Professor Saito actively contributes to the academic community through committee memberships, including the Nagoya City Personal Information Protection Council and various program committees for the Information Processing Society of Japan. He has secured significant research funding, most recently for projects on IoT device emulation and virtual execution platform remote authentication.

Frederic TronelView profile

Researcher

• Cybersecurity
• Information Flow Control
• Intrusion Detection
• +3 more

Frederic Tronel is a Researcher at Inria, affiliated with the Confidentiality, Integrity, Availability, Distribution (CIA-D) laboratory. His work focuses on cybersecurity, information flow control, and software security, particularly in operating system-level security and intrusion detection systems. Research Areas: Information Flow Control, Operating System Security, Intrusion Detection, Distributed Systems, Cybersecurity, and Formal Verification. Recent Publications (2023–2025): Development of taint analysis techniques for confidentiality violation detection. Advancements in hybrid information flow monitoring for pointer-aware languages. Formal verification of non-interference in programs with pointers. Security mechanisms for Linux kernel information flow tracking. Distributed storage systems leveraging DSL infrastructure. Application of domain-specific languages for rootkit detection in virtual machines. Collaborations include researchers from Rennes' cybersecurity community (Emmanuelle Anceaume, Eric Totel, Valerie Viet Triem Tong) and institutions exploring peer-to-peer overlays and Markov chain models for performance analysis.

• Multicore Computing
• Program Analysis
• Virtual Machine Optimization
• +4 more

Daniele Bonetta is an Assistant Professor in the Department of Computer Science at Vrije Universiteit Amsterdam and holds an ancillary role as a Medewerker (Employee) at Eindhoven University of Technology since June 2020. His primary affiliation is with the Faculty of Science, where he contributes to the Network Institute as well. His research focuses on optimizing virtual machines, parallel programming models, and dynamic compilation techniques, with a particular emphasis on multicore systems and distributed computing environments. Bonetta has also been involved in teaching advanced courses such as Advanced Network Programming and contributes to the Accelerator-Centric Computing Ecosystems program. His research interests are centered around improving the performance of managed runtimes, including virtual machine optimization, dynamic taint analysis, and efficient data processing in polyglot environments. He has explored topics such as speculative optimizations for JSON data access, columnar array storage transformations, and scalable solutions for virtual memory oversubscription. His work frequently addresses challenges in distributed systems, cloud computing, and cross-language program analysis. Bonetta’s recent publications (2023-2025) highlight advancements in transparent scale-out mechanisms for virtual memory, automated supernode generation in interpreters, and dynamic query engines embedded in polyglot runtimes. His contributions to the field include both theoretical frameworks and practical implementations, often leveraging the GraalVM and Truffle frameworks for polyglot execution. While no formal awards are listed, his extensive publication record (47+ outputs) demonstrates significant scholarly impact. His teaching portfolio includes courses on network programming and systems architecture, reflecting his dual focus on both theoretical research and applied computer science education.

Christophe BidanView profile

Professor

• Network Security
• Information-Flow Control
• Privacy in Distributed Systems
• +5 more

Christophe Bidan is an active French computer-security researcher whose work centers on network security, information-flow control, trust models, and privacy in distributed and mobile systems. He is a key member of the CIDre security research group based in Rennes, France, and has co-authored 44 scientific publications between 2023 and 2025. Education & Affiliations: Long-standing affiliation with Université de Rennes 1 / INSA Rennes and the CIDre security research group. Regular collaboration with French academic and defense institutions on tactical network security. Research Interests: His research spans several inter-locking domains: Secure Routing in MANETs: design of preventive and corrective mechanisms for protocols such as OLSR and AODV in tactical environments. Information-Flow Control: formal models and runtime enforcement techniques for browsers and distributed systems. Privacy Engineering: policy languages, conflict resolution, and encryption techniques for images and social networks. Trust & Reputation: implicit trust analysis, autonomic reasoning, and misbehavior detection in ad-hoc networks. Scientific Awards: No specific awards were mentioned in the provided text. Advising & Grants: No explicit list of PhD students or funded projects was supplied. Laboratories & Teams: Christophe Bidan is a core investigator within the CIDre security research group in Rennes, which brings together faculty and researchers from Université de Rennes 1, INSA Rennes, and Supélec to address challenges in network security, distributed systems, and critical infrastructure protection.

Cristian-Alexandru StaicuView profile

Assistant Professor

• Systems Security
• Software and Web Security
• Software Engineering
• +4 more

Cristian-Alexandru Staicu is a tenure-track faculty member at CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. He earned his PhD from the Software Lab group at TU Darmstadt under Michael Pradel's supervision, a Master's from EIT Digital (University of Trento and Twente), and a Bachelor's in Computer Engineering from Politehnica University Timișoara. Research Focus : Systems security at the intersection of software/web security, software engineering, and programming languages Contributions : Empirical studies on JavaScript ecosystems, vulnerability detection in npm/Deno, open-source tool development, and security benchmarks His research group Empirical and Behavioral Security investigates real-world threats through case studies on JavaScript bundling, Deno runtime risks, and prototype pollution vulnerabilities. Recent work includes security analysis of source code models and empirical studies of cross-economic web disparities. Key publication trends include: Security risks in Node.js and Deno ecosystems Automated testing techniques for JavaScript sandboxes and constraints Empirical methodologies applied to web inclusivity and global digital disparities Analysis of type systems and gradual typing security implications Dr. Staicu actively supervises PhD candidates and contributes to open-source security , having uncovered multiple critical vulnerabilities in popular JavaScript packages. His group develops tools like SecBench.js while maintaining strong collaborations across USENIX , IEEE , and ACM venues.

Hsu-Chun HsiaoView profile

Professor

• Network security
• Applied cryptography
• High-availability future networks
• +6 more

Professor Hsu-Chun Hsiao is a distinguished faculty member in the Department of Computer Science and Information Engineering and the Graduate Institute of Networking and Multimedia at National Taiwan University. He also holds a joint appointment at the Center for Information Technology Innovation at Academia Sinica. With a Ph.D. from Carnegie Mellon University (2014) and prior degrees from National Taiwan University, he has established himself as a leading researcher in network security and applied cryptography. Professor Hsiao's research focuses on network security, applied cryptography, and high-availability future networks, with recent emphasis on DDoS defense, automated vulnerability discovery, and IoT security. His work bridges theoretical foundations with practical implementations, as evidenced by his extensive publication record in top security venues and real-world applications like his leadership of the security team at National Taiwan University Hospital (2018-2025). His publication trends show consistent productivity with 15+ papers annually in recent years, spanning both theoretical contributions and practical security solutions. His research covers diverse subfields including web tracking, blockchain security, medical system security, and privacy-preserving technologies, demonstrating remarkable breadth within the security domain. 2024 NTU Outstanding Mentor Award 2023 Mr. Lu Feng-Zhang Memorial Award 2022 IEEE S&P Test-of-Time Award 2022 PETS Best Artifact Award 2021 Ta-You Wu Memorial Award 2020 Delta Research Excellence Award Multiple NTU Outstanding Teaching Awards (2017-2023) Professor Hsiao actively mentors students through his Network Security Lab (NSLab) and teaches multiple courses including Cryptography and Network Security, Computer Security, and Algorithm Design and Analysis. His service contributions include program committee roles for major security conferences and editorial positions, demonstrating his active engagement with the broader research community. The Network Security Lab (NSLab) serves as the primary research hub for Professor Hsiao's work, focusing on practical security challenges with connections to both academic research and real-world applications through the National Taiwan University Hospital security team leadership.

Zahra TarkhaniView profile

Assistant Professor

• Computer Security
• Confidential Computing
• Privacy-Preserving Systems
• +5 more

Zahra Tarkhani is an Assistant Professor in the Department of Computer Science and Technology within the School of Technology at the University of Cambridge. She is based in the William Gates Building (Room GC01) at 15 JJ Thomson Avenue, Cambridge CB3 0FD, and can be contacted at zt233@cam.ac.uk. Her research focuses at the intersection of hardware security, confidential computing, and privacy-preserving systems. Key interests include trusted execution environments, secure machine learning implementations, memory safety mechanisms, and security for wearable brain-computer interfaces. Her work bridges theoretical security principles with practical system implementations, particularly addressing challenges in heterogeneous computing environments. Analysis of her 11 publications from 2017-2024 reveals a strong trajectory toward secure machine learning systems, with recent work systematizing knowledge in confidential computing for ML. Earlier research established foundations in memory protection (Tiles/μTiles), enclave orchestration (Sirius), and heterogeneous enclave management (Snape), demonstrating consistent innovation in privilege separation and compartmentalization techniques. Her scientific contributions address critical gaps in hardware-software security interfaces, with applications spanning cloud infrastructure, edge computing, and biomedical devices. The publications demonstrate technical depth in both architectural design and implementation security.

Christof Ferreira TorresView profile

Assistant Professor

• Blockchain Security
• Smart Contract Analysis
• Decentralized Finance (DeFi)
• +4 more

Christof Ferreira Torres is an Assistant Professor at the Department of Computer Science and Engineering (DEI) at Instituto Superior Técnico (IST), University of Lisbon, and a researcher at INESC-ID in the Distributed, Parallel and Secure Systems (DPSS) group. His research focuses on program analysis, software security, and blockchain systems, particularly addressing vulnerabilities in smart contracts and decentralized finance (DeFi). He holds a Ph.D. from the University of Luxembourg and Technical University of Munich under Professors Radu State and Claudia Eckert. Education: Ph.D. in Computer Science, 2022 (University of Luxembourg & TU Munich) Postdoctoral Fellow at ETH Zurich (2022–2023) His research interests include blockchain security, MEV (Maximal Extractable Value) analysis, cross-chain interoperability, and privacy in Web3. Notable contributions include frameworks like Horus for attack detection in smart contracts and Elysium for automatic vulnerability patching. He actively participates in academic service, serving on program committees for major conferences like S&P, CCS, and USENIX. Recent work highlights cross-chain arbitrage dynamics, privacy leaks in web wallets, and centralized risks in blockchain infrastructure. His findings emphasize the need for decentralized solutions to counteract threats to blockchain liveness and finality. Key Awards: TLDR Research Fellowship (2024) Excellent Doctoral Thesis Award (2022) UBRI Impact Award (2022) He teaches courses on information security, dependable systems, and computer science foundations at IST and ETH Zurich. His work bridges theoretical computer science with practical blockchain security challenges, addressing both academic and industry needs.

Satish NarayanasamyView profile

Professor

• Computer Architecture
• Trusted Hardware
• Program Analysis
• +5 more

Satish Narayanasamy is a Professor in the Department of Computer Science and Engineering at the University of Michigan. His research focuses on the intersection of computer architecture, trusted hardware, and program analysis, with particular emphasis on genome sequencing and health analytics. He holds the Morris Wellman Faculty Development Professorship and has received NSF CAREER, ASPLOS, and ISPASS best paper awards, among others. Education: Ph.D. in Computer Science from the University of California, San Diego, advised by Brad Calder. Prior industry experience includes roles at Intel and Microsoft Research, and co-founding the precision health startup Sequal Inc. Research Interests: Accelerated genomics systems, confidential computing using trusted hardware (e.g., SGX), optimistic hybrid analysis for software monitors, and scalable secure hardware design. Projects include GenDP for genome sequencing acceleration, InvisiPage for secure enclaves, and Iodine for dynamic taint tracking. Scientific Awards: NSF CAREER Award ASPLOS Best Paper Award Four IEEE MICRO Top Picks Awards ISCA/ASPLOS/PLDI Hall of Fame Advising & Grants: PhD advisees: Tim Dunn, Joy Dong, Jonah Rosenblum Alumni: Dongyoon Lee, Jie Yu, Abhayendra Singh Funding: NSF MACSS Scholars, SHF grants for genomics computing Labs/Teams: Leading research in accelerated genomics and confidential computing through collaborations with industry and academia. Key tools developed include PinPlay, GenomicsBench, and SquiggleFilter.

Matteo MigliavaccaView profile

Senior Lecturer

• Cyber Security
• Artificial Intelligence
• Data Science
• +5 more

Matteo Migliavacca is a Senior Lecturer at the School of Computing, University of Kent, where he also serves as the Year in Computing Admissions Officer. His office is located in Room 118 of the Kennedy Building at the Canterbury campus. His primary research focuses on networked systems with specialization in building and evaluating large-scale distributed systems. His research interests span parallel data processing, stream processing, and publish-subscribe middleware in cloud environments. Recent work emphasizes security aspects including secure event processing, runtime taint tracking, and information flow control across multiple programming languages. He is affiliated with the Artificial Intelligence and Data Science Group and the Cyber Security Group at Kent. Publication analysis reveals consistent focus on distributed systems, cloud security, and high-performance computing. Recent trends show increased work in genetic algorithms for distributed data analysis and behavioral user modeling. Earlier foundational work established contributions in middleware security, event processing architectures, and cloud network services. He maintains active collaborations with Imperial College London's LSDS group on the SEEP (Stateful Big Data Processing) and NaaS (Network as a Service) projects, the latter in partnership with Microsoft Research.

Yizheng ChenView profile

Assistant Professor

• Artificial Intelligence Security
• Large Language Models
• Code Generation Security
• +4 more

Yizheng Chen is an Assistant Professor in the Department of Computer Science at the University of Maryland, College Park, with a joint appointment at the University of Maryland Institute for Advanced Computer Studies (UMIACS). She holds a Ph.D. in Computer Science from Georgia Institute of Technology and completed postdoctoral research at UC Berkeley and Columbia University. Her research focuses on the intersection of Artificial Intelligence and Security , including: Developing AI techniques for security challenges (malware/vulnerability detection, fraud prevention) Enhancing robustness of machine learning models against adversarial attacks Securing AI coding assistants and LLM-based code generation Analyzing security/privacy risks in AI agents and web-based AI systems Creating datasets and benchmarks for vulnerability detection (e.g., DiverseVul) Her recent publications demonstrate strong emphasis on AI security applications , particularly in malware detection (Android/PDF systems), vulnerability analysis using language models, adversarial robustness techniques, and security implications of AI agents. Research consistently addresses practical security challenges through machine learning innovations. Awards and Honors: ACM CCS Best Paper Award Runner-up (2021) NSF CAREER Award Google ASPIRE Award Anita Borg Memorial Scholarship Top 10 Finalist, CSAW Applied Research Competition (2023, 2017) She leads a research group focused on AI security and actively recruits PhD students. Major grants include NSF CAREER and Google ASPIRE awards supporting work on secure code generation and LLM security.

Haipeng CaiView profile

Associate Professor

• Software Security
• Software Engineering
• Program Analysis
• +4 more

Haipeng Cai is an Associate Professor in the Department of Computer Science and Engineering at the University at Buffalo, SUNY. Previously, he served as an Assistant Professor (2016–2022) and tenured Associate Professor (2022–2024) at Washington State University. His research focuses on software engineering and security, particularly program analysis, machine learning for security applications, and multilingual software systems. He holds a PhD in Computer Science and Engineering from the University of Notre Dame (2015). Education: PhD in Computer Science & Engineering (University of Notre Dame, 2015). Research interests include: Software security and reliability of distributed systems Machine learning-driven vulnerability detection and patching Analysis of multilingual software and cross-language bugs Tools like VGX (vulnerability data generation), PyRTFuzz (Python runtime fuzzing), and PolyFuzz (multi-language system fuzzing) Notable awards include the 2025 TOSEM Outstanding Paper Award for malware detection sustainability, multiple Distinguished Reviewer Awards, and the 2022 Junior Faculty Research Award. His work has led to over 50 publications, with a focus on practical security solutions. Advising: Mentor to students like Wen (PhD 2024, now at Utah State), Xiaoqin (first PhD graduate from his lab), and current advisees Haoran, Jiawei, and Yu. Projects include grants from NSF, ONR, and the Open Technology Fund. Key contributions include tools like VulGen (vulnerability dataset generation) and FlowDist (distributed system analysis), and labs focused on AI-driven security and multilingual software engineering.

• Static analysis
• Dynamic Analysis
• Abstract interpretation
• +5 more

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