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)

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 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)

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)

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)

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 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)

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)

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)

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)

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)