11:40 to 12:05 Efficient Built-In Self-Test Strategy for Neuromorphic Hardware Based On Alarm Placement
(Ilknur Mustafazade, Anup Das, Nagarajan Kandasamy)

12:05 to 12:30 Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems
(Abhishek Mishra, Anup Das, Nagarajan Kandasamy)

12:30 to 12:55 CheckIn: Efficiently Checkpointing Intermittent Sensor-Based Internet of Things (IoT) Networks
(Jawaher Alharbi, Arshad Jhumka)

14:30 - 14:55 Toward a Trustworthy Artificial Intelligence System Considering Security, Ethics, and Quality
(Jun Yajima, Satoko Shiga, Kyoko Ohashi, Masaru Ide, Hiroshi Tanaka, Sachiko Onodera)

14:55 - 15:20 Fail-Controlled Classifiers: Do they Know when they don't Know?
(Tommaso Zoppi, Fahad Ahmed Khokhar, Leonardo Montecchi, Andrea Ceccarelli, Andrea Bondavalli)

15:20 - 15:45 cTIMS: Correlated Textual and Image-based Metrics Suites for Assessing GAN-Synthesized Android Malware Images
(Md Mashrur Arifin, Jyh-haw Yeh)

15:45 - 16:10 FLARE: Availability Awareness for Resource-Efficient Federated Learning
(Sara Alosaime, Arshad Jhumka)

14:30 to 14:44 FPGA Cluster Based System with Adaptive TMR/DMR for Soft Error Mitigation
(Homu Omura, Kazuteru Namba)

14:44 to 14:58 Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications
(Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi)

14:58 to 15:12 Distributed Control Framework for UAV Resilience against Fault and Cyber Attacks with Finite-Memory Approach
(Sang Su Lee, Kwan Soo Kim, Dong Kyu Lee, Choon Ki Ahn)

15:12 to 15:26 Robustness of Redundancy-Hardened Convolutional Neural Networks Against Adversarial Attacks
(Leonardo Alexandrino de Melo, Mauricio Gomes de Queiroz, Alberto Bosio, Rodrigo Possamai Bastos)

15:26 to 15:40 Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages
(Aoi Ono, Tatsuhiro Tsuchiya)

15:40 to 15:54 Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis
(Koki Matsui, Tsuchiya Tatsuhiro)

15:54 to 16:08 Empirical Study on Request Timeout and Retry for Microservices Communication
(Hiroki Hanada, Keisuke Ishibashi)

11:00 to 11:25: Robust and Low-degree Overlay for Secure Flooding Against Resource-bounded Adversaries
(Yucheng Sun, Ruomu Hou, Haifeng Yu)

11:25 to 11:50: PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh
(Taras Lykhenko, Rafael Soares, Luis Rodrigues)

11:50 to 12:15: Juno: Aggregated Vector Consensus for Optimal Asynchronous Common Subset
(Liangrong Zhao, Qin Wang, Joseph K. Liu, Jiangshan Yu)

12:15 to 12:40: Durability Evaluation of Erasure Coding Applying Risk-aware Data Protection in Large-scale Disasters
(Naoshi Yamane, Satoshi Munakata, Luis Guillen, Takaki Nakamura, Takuo Suganuma)

11:00 to 11:25: Deploying a Generic Threat Model for Detecting Anomalies in a Power Grid Digital Twin
(Tommaso Zoppi, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli, Hans-Peter Schwefel)

11:25 to 11:50: Comparative Studies of Security Assessment Methods for Railway Control Systems
(Hongxue Chen, Xiaoya Hu, Weihong Ma, Zonghua Zhang)

14:10 to 14:35: AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication
(Joon Kuy Han, Dennis Wong, Zhoulai Fu, Byungkon Kang)

14:35 to 15:00: Dynamic Controllability Analysis for Preventing Injection Attacks
(Eri Ogawa, Tetsuro Yamazaki, Ryota Shioya)

15:00 to 15:25: PALM: A framework to identify novel attacks in an e-commerce system
(Rajesh Kumar, Swapnil Pandey, Debanshu Das)

15:25 to 15:50: Refined Software Reliability Prediction: A Bagging Approach
(Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura)

16:10 to 16:35: RL-Based Approach to Enhance Reliability and Efficiency in Autoscaling for Heterogeneous Edge Serverless Computing Environments
(Ilyas Hadjou, Young-Woo Kwon)

16:35 to 17:00: Optimal Deployment of High-Level Access Control Policies in Heterogeneous Enforcement Infrastructures
(Marco Thomas, Claas Lorenz, Alf Zugenmaier)

17:00 to 17:25: Secure Finite-Memory Target Tracking in Heterogeneous Sensor Networks Under Cyber Attack
(Dong Kyu Lee, Jung Min Pak, Choon Ki Ahn)

10:00 to 10:20: Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems
(Buntita Sriarunothai, Chutikarn Kamsem, Phaiboon Jaradnaparatana, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki)

10:20 to 10:40: Smart Building Control System Emulation Platform for Security Testing
(Xiaoqi Weng, Razvan Beuran)

10:40 to 11:00: Sequential Programming for Distributed Algorithm Verification
(Tatsuhiro Tsuchiya)

11:00 to 11:20: Towards a Pragmatic ORAM Implementation Using Caching and Prefetching
(Kazuaki Kawabata, Naohiro Hayashibara)

11:20 to 11:40: An Alternative Boosting-based Software Reliability Prediction Method
(Jingchi Wu, Junjun Zheng, Tadashi Dohi, Hiroyuki Okamura)