PRDC 2023 Program

Top > Program

Program at a Glance

Awards

2023 IEEE Distinguished Paper Award on Dependable Computing

#104 Reliability and Performance Evaluation of Two-input Machine Learning Systems
Kazuya Wakigami (University of Tsukuba) Fumio Machida (University of Tsukuba) Tuan Phung-Duc (University of Tsukuba)

#86 Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains
Yucheng Sun (National University of Singapore) Ruomu Hou (National University of Singapore) Haifeng Yu (National University of Singapore)

#77 I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
Daniel Andrade (INESC-ID, IST, ULisboa) João Silva (INESC-ID, IST, ULisboa) Miguel Correia (INESC-ID, IST, ULisboa)

2023 IEEE Distinguished Industrial Paper Award on Dependable Computing

#1 Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment
Natsumi Watanabe (Hitachi, Ltd.) Satoshi Otsuka (Hitachi, Ltd.) Hiroyuki Yamada (Hitachi, Ltd.) Masaya Itoh (Hitachi, Ltd.) Tsunamichi Tsukidate (Hitachi, Ltd.)

2023 IEEE Distinguished Visionary Poster Award on Dependable Computing

#32 How to Attract and Retain Users for Native Newborn Version Control Systems?
Guangjie Li (National Innovation Institute of Defense Technology) Yi Tang (National Innovation Institute of Defense Technology) Yan He (National Innovation Institute of Defense Technology) Biyi Yi (National Innovation Institute of Defense Technology) Weihao Li (National Innovation Institute of Defense Technology) Qilei Zhang (National Innovation Institute of Defense Technology)

Full Program (Singapore time)

Venue

Venue: All except the first keynote talk(on Oct 25 morning) will take place at Level 5, School of Computing and Information Systems 2 (also known as School of Economics), Singapore Management University. Kindly refer to the map below for the exact location (GPS coordinate: 1.2979140942901206, 103.84898382636581).

The first keynote talk (on Oct 25 morning) will take place at Level 2, Seminar Room 2-16, SMU Yong Pung How School of Law, Singapore Management University. Kindly refer to the map below for the exact location (GPS coordinate: 1.294990465618122, 103.84946280514102).

Program

All Keynotes shared by Zoom Link(password 371682 )
Zoom Link (all others, like session) password (622392)

Oct 24, 2023 (Tuesday)
9:00 - 12:00 and 14:00 - 17:00	Tutorial 1: The K Framework: A tool kit for language semantics and verification by Runtime Verification Inc. Venue: CTE Scape, Level 5, School of Computing and Information Systems 2, Singapore Management University
14:00 to 17:00	Tutorial 2: “Developing Assurance Cases with AdvoCATE by Ewen Denney (NASA Ames Research Center, USA) Venue: Seminar Room 5-2, School of Computing and Information Systems 2, Singapore Management University

PRDC 2023 Day1 (Oct 25 2023, Wednesday)
8:45 ‒ 9:00	Opening Ceremony by Yun Lin and Zhe Hou (Program Co-Chairs) Vennue: Seminar Room 2-16, SMU Yong Pung How School of Law, Singapore Management University
9:00 ‒ 10:00	Keynote Speech I Session Chair: Jin Song Dong Correct and Efficient Policy Monitoring, a Retrospective Prof. David Basin (ETH) Vennue: Seminar Room 2-16, SMU Yong Pung How School of Law, Singapore Management University
10:00 ‒ 10:30	Coffee Break
10:30 ‒ 12:30	Session A1: Security & Safety Session Chair: Mark Meng Venue: sessions are at CTE Scape, Level 5, School of Computing and Information Systems 2, SMU 10:30 to 10:50 An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification (H. França, C. Teixeira, N. Laranjeiro) 10:50 to 11:10 SecCT: Secure and scalable count query models on encrypted genomic data (Y. Peng, R. Liu, X. Gao, J. Guo, L. Huang, Y. Tu) 11:10 to 11:30 Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks (M. Malik, M. Aramrattana, M. Maleki, P. Folkesson, B. Sangchoolie, J. Karlsson) 11:30 to 11:50 Efficient Adversarial Input Generation via Neural Net Patching (T. Khan, K. Madhukar, S. Sharma) 11:50 to 12:10 Intrusion Detection for Scalable and Elastic Microservice Applications (J. Flora, P. Gonçalves, N. Antunes) 12:10 to 12:30 Attack Tree Analysis for Adversarial Evasion Attacks (Y. Yamaguchi, T. Aoki)
12:30 ‒ 13:45	Lunch Venue: outside of Seminar Room of Session A1
13:45 ‒ 14:45	Session A2: Networking Session Chair: Kai Wang Venue: same as Session A1 13:45 - 14:05 A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information (R. Mukta, S. Pal, S. Mishra, H. Paik, S. Kanhere, M. Hitchens) 14:05 - 14:25 Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise (M. Schou, I. Poese, J. Srba) 14:25 - 14:45 A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication (M. Alkoudsi, M. Völp, G. Fohler)
14:45 ‒ 15:45	Session A3: Industry Talks Session Chair: Cai Yufan Venue: same as Session A1 14:45 to 15:05 Perceived Usability of Computer-Aided Engineering Software (G. Li, Y. He, Y. Tang, X. Shen, L. He) 15:05 to 15:25 Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment (N. Watanabe, S. Otsuka, H. Yamada, M. Itoh, T. Tsukidate) 15:25 to 15:45 Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles (Mehdi Maleki, Mateen Malik, Peter Folkesson, Behrooz Sangchoolie and Johan Karlsson)
15:45 - 16:10	Tea/Coffee Break Venue: outside of Seminar room
16:10 - 17:50	Session A4: System & Data Dependability Session Chair: Cen Zhang Venue: same as Session A1 16:10 to 16:30 SEmigrate: Optimizing Data Protection with VM Introspection (S. Horio, K. Takahashi, K. Kourai) 16:30 to 16:50 Development of the System Assurance Reference Model for Generating Modular Assurance Cases (A. Wardzinski, A. Jarzebowicz) 16:50 to 17:10 PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems (C. Correia, R. Prates, M. Correia, L. Rodrigues) 17:10 to 17:30 Lead Time Analysis for UAVs Failure Prediction in U-space (O. Asghari, N. Ivaki, H. Madeira) 17:30 to 17:50 End-to-end Resiliency Analysis Framework for Cloud Storage Services (A. Ghosh, L. Jagarlamudi)
18:00 - 20:00	Conference Reception Venue: School of Computing and Information Systems 1 Alcove (at baseline)

PRDC 2023 Day2 (Oct 26 2023, Thursday)
9:00 ‒ 10:00	Keynote Speech III Session Chair: Prof. Étienne André Dynamic Assurance Cases for Machine-learning based Autonomous Systems Ewen Denney (NASA Ames Research Center) Venue: Seminar Room 5.2, School of Computing and Information Systems 2, SMU
10:00 ‒ 10:30	Tea/Coffee Break
10:30 ‒ 12:30	Session B1: Theories Session Chair: Michael Jiang Venue: CTE Scape, level 5, School of Computing and Information Systems 2, SMU 10:30 to 10:50: Applying metamorphic testing to reliability calculating programs (T. Asaji, T. Tsuchiya) 10:50 to 11:10: OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms (C. Mahamdi, J. Lejeune, J. Sopena, P. Sens, M. Makpangou) 11:10 to 11:30: BSGAT: A Graph Attention Network for Binary Code Similarity Detection (C. Qu, H. Qu, R. Zhou, K. Liu, Z. Yan) 11:30 to 11:50: Liveness Checking of the HotStuff Protocol Family (J. Decouchant, B. Ozkan, Y. Zhou) 11:50 to 12:10: Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation (C. Berger, S. Toumia, H. Reiser) 12:10 to 12:30: Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof (C. Shi, H. Chen, R. Liu, G. Li)
12:30 ‒ 13:45	Lunch outside of seminar room of session B1
13:45 ‒ 15:05	Session B2: Applications Session Chair: Guo Qi Venue: same as session B1 13:45 to 14:05: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX (D. Andrade, J. Silva, M. Correia) 14:05 to 14:25: AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition (M. Azimi, C. Yilmaz) 14:25 to 14:45: A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller (A. Khan, J. Campos, N. Ivaki, H. Madeira) 14:45 to 15:05: Entropy-based Selective Homomorphic Encryption for Smart Metering Systems (W. Xu, Y. Zhang, R. Cardell-Oliver, A. Mian, J. Hong)
15:05 ‒ 15:55	Session B3: Fast Abstracts Session Chair: Zhang Hangsheng Vunue: same as session B1 15:05 to 15:15: Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion (N. Nishiguchi, T. Tsuchiya) 15:15 to 15:25: Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications (C. Cheng, V. Venkataramanan, P. Gupta, Y. Hsu, S. Burton) 15:25 to 15:35: How to Attract and Retain Users for Native Newborn Version Control Systems? (G. Li, Y. He, Y. Tang, B. Yi) 15:35 to 15:45: Poster: Faster Quorums with FlashConsensus (C. Berger, L. Rodrigues, H. Reiser, V. Cogo, A. Bessani) 15:45 to 15:55: Utilizing Similarity for Improved Intrusion Detection: Autonomous Community Formation for Practical Heterogeneity Management (P. Eichhammer, H. Reiser)
15:55 ‒ 16:25	Tea/Coffee Break outside of Seminar Room
16:25 ‒ 17:45	Session B4: Reliability Session Chair: Yudai pan Vunue: same as session B1 16:25 to 16:45: VISILIENCE: An Interactive Visualization Framework for Resilience Analysis using Control-Flow Graph (H. Jiang, S. Ruan, B. Fang, Y. Wang, Q. Guan) 16:45 to 17:05: Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains (Y. Sun, R. Hou, H. Yu) 17:05 to 17:25: Hierarchical Dependability Modeling for Multi-State Systems (J. Zheng, H. Okamura, T. Dohi) 17:25 to 17:45: Reliability and Performance Evaluation of Two-input Machine Learning Systems (K. Wakigami, F. Machida, T. Phung-Duc)
18:00 - 22:00	Conference Banquet The buses for the conference dinner will leave from level 1 of School of Computing and Information Systems 2 (pick up near the security) at 6pm; and will leave for the conference venue at Night Safari at 10pm. (note: the bus' return time changed from 9 pm. to 10 pm.)

ISACE 2023 Workshop (Oct 27 2023, Friday)
9:00 ‒ 10:00	Keynote Speech III Session Chair: Sun Jun Privacy in Machine Learning Prof. Reza Shokri (NUS) Vunue: Seminar Room 5.2, School of Computing and Information Systems 2, SMU
10:00 ‒ 10:30	Tea/Coffee Break Venue: outside of Seminar Room 5.2
10:30 - 12:30	Session 1 Session Chair: Michael Jiang Venue: all workshop's sessions are at CTE Scape, level 5, School of Computing and Information Systems 2 10:30 to 10:50: Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications (A. Shelopugin, A. Sirotkin) 10:50 to 11:10: Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy (V. Solomon, F. Malik) 11:10 to 11:30: Officiating Cricket Bowling Using An Event-Based Computer Vision System (M. Izadi, E. Goodarzi, M. Farzalizadeh, M. Moghaddam, A. Izmailov) 11:30 to 11:50: Sports Injury Prediction in Professional Tennis (Z. Liu, K. Jiang, J.S. Dong) 11:50 to 12:10: Effects of wrist guard microcurrent stimulation therapy on pain, range of motion, and muscle strength in physically active older women with carpal tunnel syndrome (S. Lee, S. Um) 12:10 to 12:30: A Dynamic Online Dashboard for Tracking the Performance of Division 1 Basketball Athletic Performance (E. Juliano, C. Thakkar, C. Taber, M. Raval, T. Kaya, S. Senbel)
12:30 ‒ 13:45	Lunch outside of Seminar Room
13:45 ‒ 15:25	Session 2 Session Chair: Seungbok Lee Venue: same as workshop 1 13:45 to 14:05: Shifting the Weight: Applications of AI in Olympic Weightlifting (Daniel, Nadeem, Mustansar) 14:05 to 14:25: A Framework for Biomechanical Analysis of Jump Landings for Injury Risk Assessment (S. Sharma, S. Divakaran, T. Kaya, C. Taber, M. Raval) 14:25 to 14:45: Probabilistic Model Checking of Handball Action Sequences (L. Wildman) 14:45 to 15:05: Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences (Z. Liu, J. Guo, M. Wang, R. Wnag, K. Jiang, J.S. Dong) 15:05 to 15:25: Court Detection Using Masked Perspective Fields Network ( K. Jiang, J. Li, Z. Liu, Chen Dong)
15:25 ‒ 15:55	Coffee Break
15:55 ‒ 16:25	Invited Talk“Virtual and Augmented Reality in Sports” by Unmish Parthasarathi Session Chair: Masoumeh Izadi（ISACE PC Co-chair) Venue: same as workshop 1
16:30 ‒ 17:30	Session 3 Session Chair: Luke Wildman Venue: same as workshop 1 16:30 to 16:50: Early Childhood Actions Monitoring and Analytics System (ECAMS) (I. Naotunna Andarage, D. Fernando, B. Lokuarachchi, M. Athuluwage, P. Wijewickrama) 16:50 to 17:10: RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis (A. Boiarov, D. Bleklov, P. Bredikhin, N. Koritsky, S. Ulasen) 17:10 to 17:30: Individual player characteristics and amount of data used to train prediction model – Key influences in forecasting football actions (Q. He, J. Komar, Y. Kee)
17:30 - 17:40	Workshop Session

The link to co-holding conference ATVA2023