* ICSE 2018 * (series) / Technical Papers / Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities
Spatio-Temporal Context Reduction: A Pointer-Analysis-Based Static Approach for Detecting Use-After-Free Vulnerabilities
Wed 30 May
16:00 - 17:30: Technical Papers - Program Reduction Techniques at H2 room Chair(s): Jianjun ZhaoKyushu University | ||||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:20 Talk | Hua YanUniversity of New South Wales, Yulei SuiUniversity of Technology Sydney, Australia, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia, Jingling XueUNSW Sydney | |||||||||||||||||||||||||||||||||||||||||
| 16:20 - 16:40 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:40 - 17:00 Talk | David TrabishTel Aviv University, Andrea MattavelliImperial College London, Noam RinetzkyTel Aviv University, Cristian CadarImperial College London Link to publication File Attached | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:20 Talk | Chengnian SunUniversity of California, Davis, Yuanbo Li, Qirun ZhangUniversity of California, Davis, Tianxiao Gu, Zhendong SuUniversity of California, Davis | |||||||||||||||||||||||||||||||||||||||||
| 17:20 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||