CGO 2022 (series) / Main Conference / Automatic Generation of Debug Headers through BlackBox Equivalence Checking
Automatic Generation of Debug Headers through BlackBox Equivalence Checking
Tue 5 Apr 2022 13:05 - 13:20 - Session #6: Binary Techniques Chair(s): Wenwen Wang
Tue 5 AprDisplayed time zone: Eastern Time (US & Canada) change
Tue 5 Apr
Displayed time zone: Eastern Time (US & Canada) change
12:50 - 13:35 | |||
12:50 15mTalk | Recovering Container Class Types in C++ Binaries Main Conference Xudong Wang UNSW Sydney, Xuezheng Xu UNSW Sydney, Qingan Li Wuhan University, China, Jingling Xue UNSW Sydney, Yuan Mengting Wuhan University Link to publication | ||
13:05 15mTalk | Automatic Generation of Debug Headers through BlackBox Equivalence Checking Main Conference Vaibhav Kiran Kurhe Indian Institute of Technology Delhi, Pratik Karia (Indian Institute of Technology Delhi, Shubhani Gupta Indian Institute of Technology Delhi, Abhishek Rose IIT Delhi, Sorav Bansal IIT Delhi and CompilerAI Labs Link to publication | ||
13:20 15mTalk | Gadgets Splicing: Dynamic Binary Transformation for Precise Rewriting Main Conference Linan Tian Chinese Academy of Sciences, Yangyang Shi Chinese Academy of Sciences, Liwei Chen Chinese Academy of Sciences, Yanqi Yang Chinese Academy of Sciences, Gang Shi Chinese Academy of Sciences Link to publication | ||