prdc logo

28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023)
24-27, OCT, 2023, Singapore, Singapore

Top > Program

Program at a Glance


Best Paper Award

Author(affiliation), Author(affiliation)

Best Paper Award Runners Up

Author(affiliation), Author(affiliation)

Author(affiliation), Author(affiliation)

Best Student Paper Award

Author(affiliation), Author(affiliation)

Best Industry Paper Award

Author(affiliation), Author(affiliation)

Best Industry Paper Award Runners Up

Author(affiliation), Author(affiliation)

Full Program (Singapore time)

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: SCIS 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: SCIS 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)
9:00 ‒ 10:00
Keynote Speech I
Session Chair: Jinsong Dong
Correct and Efficient Policy Monitoring, a Retrospective
Prof. David Basin (ETH)
10:00 ‒ 10:30
Coffee Break
10:30 ‒ 12:30
Session A1: Security & Safety
Session Chair: TBD

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
13:45 ‒ 15:05
Session A2: Networking
Session Chair: TBD

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 Enhancing Task Efficiency in Vehicular Fog Computing: Leveraging Mobility Prediction and Min-Max Optimization for Reduced Latency
(I. Sarkar)

14:45 - 15:05 A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication
(M. Alkoudsi, M. Völp, G. Fohler)

15:05 ‒ 15:25
Session A3: Industry Talks
Session Chair: TBD

15:05 to 15:15 Perceived Usability of Computer-Aided Engineering Software
(G. Li, Y. He, Y. Tang, X. Shen, L. He)

15:15 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 - 15:45
Potential Past Paper Talk by Medhdi Maleki
15:45 - 16:10
Tea/Coffee Break
16:10 - 17:50
Session A4: System & Data Dependability
Session Chair: TBD

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
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)
10:00 ‒ 10:30
Tea/Coffee Break
10:30 ‒ 12:30
Session B1: Theories
Session Chair: TBD

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
13:45 ‒ 15:05
Session B2: Applications
Session Chair: TBD

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: TBD

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
16:25 ‒ 17:45
Session B4: Reliability
Session Chair: TBD

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 - 21:00
Conference Banquet
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)
10:00 ‒ 10:30
Tea/Coffee Break
10:30 - 12:30
Session 1
Session Chair: TBD

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
13:45 ‒ 15:25
Session 2
Session Chair: TBD

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, J.S. Dong)

15:25 ‒ 15:55
Coffee Break
15:55 ‒ 16:25
Invited Talk“Virtual and Augmented Reality in Sports” by Unmish Parthasarathi
Session Chair: TBD

16:30 ‒ 17:30
Session 3
Session Chair: TBD

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