APSEC 2023
Mon 4 - Thu 7 December 2023 Seoul, South Korea
Wed 6 Dec 2023 12:00 - 12:20 at Grand Hall 4 - Formal Aspects of Software Engineering (1) Chair(s): Eun-Young Kang

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
30m
Talk
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
30m
Talk
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
20m
Talk
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