| 2024 | Juno: Aggregated Vector Consensus for Optimal Asynchronous Common Subset. | Liangrong Zhao, Qin Wang, Joseph K. Liu, Jiangshan Yu |
| 2024 | Durability Evaluation of Erasure Coding Applying Risk-aware Data Protection in Large-scale Disasters. | Naoshi Yamane, Satoshi Munakata, Luis Guillen, Takaki Nakamura, Takuo Suganuma |
| 2024 | Toward a Trustworthy Artificial Intelligence System Considering Security, Ethics, and Quality. | Jun Yajima, Satoko Shiga, Kyoko Ohashi, Masaru Ide, Hiroshi Tanaka, Sachiko Onodera |
| 2024 | An Alternative Boosting-based Software Reliability Prediction Method. | Jingchi Wu, Junjun Zheng, Tadashi Dohi, Hiroyuki Okamura |
| 2024 | Refined Software Reliability Prediction: A Bagging Approacha. | Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura |
| 2024 | Smart Building Control System Emulation Platform for Security Testing. | Xiaoqi Weng, Razvan Beuran |
| 2024 | Sequential programming for distributed algorithm verification. | Tatsuhiro Tsuchiya |
| 2024 | Optimal Deployment of High-Level Access Control Policies in Heterogeneous Enforcement Infrastructures. | Marco Thomas, Claas Lorenz, Alf Zugenmaier |
| 2024 | Robust and Low-degree Overlay for Secure Flooding Against Resource-bounded Adversaries. | Yucheng Sun, Ruomu Hou, Haifeng Yu |
| 2024 | Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. | Aoi Ono, Tatsuhiro Tsuchiya |
| 2024 | FPGA Cluster Based System with Adaptive TMR/DMR for Soft Error Mitigation. | Homu Omura, Kazuteru Namba |
| 2024 | Dynamic Controllability Analysis for Preventing Injection Attacks. | Eri Ogawa, Tetsuro Yamazaki, Ryota Shioya |
| 2024 | Efficient Built-In Self-Test Strategy for Neuromorphic Hardware Based On Alarm Placement. | Ilknur Mustafazade, Anup Das, Nagarajan Kandasamy |
| 2024 | Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems. | Abhishek Kumar Mishra, Anup Das, Nagarajan Kandasamy |
| 2024 | Robustness of Redundancy-Hardened Convolutional Neural Networks Against Adversarial Attacks. | Leonardo Alexandrino De Melo, Mauricio Gomes de Queiroz, Alberto Bosio, Rodrigo Possamai Bastos |
| 2024 | Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis. | Koki Matsui, Tatsuhiro Tsuchiya |
| 2024 | PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh. | Taras Lykhenko, Rafael Soares, Lus Rodrigues |
| 2024 | Secure Finite-Memory Target Tracking in Heterogeneous Sensor Networks Under Cyber Attacks. | Dong Kyu Lee, Jung Min Pak, Choon Ki Ahn |
| 2024 | Distributed Control Framework for UAV Resilience Against Faults and Cyber Attacks with Finite-Memory Approach. | Sang Su Lee, Kwan Soo Kim, Dong Kyu Lee, Gyun Ha Kim, Choon Ki Ahn |
| 2024 | PALM: A framework to identify novel attacks in an e-commerce system. | Rajesh Kumar, Swapnil Pandey, Debanshu Das |
| 2024 | Towards a Pragmatic ORAM Implementation Using Caching and Prefetching. | Kazuaki Kawabata, Naohiro Hayashibara |
| 2024 | Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. | Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki |
| 2024 | Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. | Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi |
| 2024 | AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication. | Joon Kuy Han, Dennis Wong, Zhoulai Fu, Byungkon Kang |
| 2024 | Empirical Study on Request Timeout and Retry for Microservices Communication. | Hiroki Hanada, Keisuke Ishibashi |