APSEC 2023 (series) / Technical Track /
Formal Verification of Interrupt Isolation for the TrustZone-based TEE
Wed 6 Dec 2023 11:00 - 11:30 at Grand Hall 4 - Formal Aspects of Software Engineering (1) Chair(s): Eun-Young Kang
Wed 6 DecDisplayed time zone: Seoul change
Wed 6 Dec
Displayed time zone: Seoul change
11:00 - 12:20 | Formal Aspects of Software Engineering (1)Technical Track / ERA - Early Research Achievements at Grand Hall 4 Chair(s): Eun-Young Kang University of Southern Denmark | ||
11:00 30mTalk | Formal Verification of Interrupt Isolation for the TrustZone-based TEE Technical Track Leping Zhang College of Information Engineering, Capital Normal University, Qianying Zhang College of Information Engineering, Capital Normal University, Xinyue Wang College of Information Engineering, Capital Normal University, Ximeng Li Capital Normal University, Guohui Wang Capital Normal University, Beijing, China, Zhiping Shi College of Information Engineering, Capital Normal University, Yong Guan Capital Normal University, Beijing, China | ||
11:30 30mTalk | A Single-sample Pruning and Clustering Method for Neural Network Verification Technical Track Huanzhang Xiong Dalian University of Technology, Gang Hou Dalian University of Technology, Long Zhu Dalian University of Technology, Jie Wang Dalian University of Technology, Weiqiang Kong Dalian University of Technology | ||
12:00 20mTalk | A methodology for resilient safety-critical infrastructure using statistical model checking ERA - Early Research Achievements Rajesh Kumar Birla Institute of Technology and Sciences, Pilani, India, Nitish Yadav Birla Institute of Technology and Sciences, Pilani, India | ||