| 日時(Date) |
Oct 27th, 2026 4th period (15:10-–16:10) |
|---|---|
| 場所(Location) | パナソニック デジタル大講義室 (L1), Panasonic Digital Lecture Hall (L1) |
| 司会(Chair) | Zhenlan Ji sensei |
| 講演者(Presenter) | Dr. Wai Kin WONG, Hong Kong University of Science and Technology, Hong Kong |
| 題目(Title) | Protecting Low-Level Code for Secure and Efficient Computing |
| 概要(Abstract) | Low-level code forms the foundation of modern computing, from legacy software to GPU kernels for accelerated computing. Applications and services depend on this code for secure and efficient execution, but defects in it can undermine the systems that rely on it. Protecting these systems involves developing secure new software and addressing weaknesses in existing low-level code as workloads and hardware platforms evolve. In this talk, I will present techniques for protecting low-level code. I will first describe how to make legacy low-level code accessible to existing security analysis tools, even when its original source code is unavailable. I will then discuss two approaches for uncovering defects in runtime implementations and detecting performance problems caused by interactions between compiled code and hardware. These techniques have been implemented in two practical tools, both of which have identified previously unknown bugs, including security vulnerabilities, in real-world systems. I will conclude by discussing opportunities to improve defect discovery and to support the validation and hardening of low-level code for secure and efficient computing. |
| 講演言語(Language) | English |
| 講演者紹介(Introduction of Lecturer) | Wai Kin Wong is a postdoctoral researcher in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. He received his Ph.D. from the same department under the supervision of Prof. Shuai Wang. His research lies at the intersection of software security and reverse engineering, with a focus on improving the dependability of software systems. His work has been published in top-tier venues, including ASPLOS, EuroSys, SOSP, and ICSE. |