Applied Cryptography and Network Security Workshops: ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19–22, 2023, Proceedings

Preface
Contents
ADSC – Automated Methods and Data-Driven Techniques in Symmetric-Key Cryptanalysis
	ADSC 2023
		First Workshop on Automated Methods and Data-Driven Techniques in Symmetric-Key Cryptanalysis
		Program Chairs
		Program Committee
Automatic Search Model for Related-Tweakey Impossible Differential Cryptanalysis
	1 Introduction
	2 Preliminaries
		2.1 Notations
		2.2 Related-Tweakey Impossible Differential
		2.3 Boolean Satisfiability Problem
	3 The Optimized Automatic Search Model
		3.1 Application of LCA in Impossible Differential Cryptanalysis
		3.2 The Optimized Automatic Search Model for Related-Tweakey Impossible Differentials
	4 Applications from Cryptanalysis Aspect
		4.1 Application to Joltik-BC
		4.2 Application to SKINNY
		4.3 Application to QARMA
		4.4 Application to CRAFT
	5 Evaluation of the Automatic Search Models
	6 Conclusion
	References
Comprehensive Preimage Security Evaluations on Rijndael-Based Hashing
	1 Introduction
		1.1 The Meet-In-The-Middle (MITM) Technique
		1.2 Contributions
	2 Preliminaries
		2.1 The Rijndael Block Cipher
		2.2 Preimage and Pseudo-preimage Attacks
		2.3 The MITM Pseudo-preimage Attack
		2.4 Pseudo-preimage to Preimage Conversion
	3 MILP Modeling for Automated Search
		3.1 Automated Search Framework
		3.2 The Superposition State Structure
		3.3 Simplified Encoding Scheme
	4 Application to Rijndael
		4.1 Example: Pseudo-preimage Attack on 10-Round Rijndael 256-256
	5 Conclusions
	References
Conditional Cube Key Recovery Attack on Round-Reduced Xoodyak
	1 Introduction
	2 Preliminaries
		2.1 Notations
		2.2 Description of Xoodyak
	3 Review of Cube Attacks and Related Techniques
		3.1 Cube Attack
		3.2 Conditional Cube Attack
	4 Conditional Cube Attacks on Round-Reduced Xoodyak
		4.1 Finding Kernel Quadratic Term
		4.2 MILP Model for Li et al. Technique
	5 Key Recovery on 6 and 7 Rounds Xoodyak
		5.1 6 Rounds Conditional Cube Attack on Xoodyak
		5.2 7 Rounds Conditional Cube Attack on Xoodyak
	6 Conclusion
	References
AIBlock – Application Intelligence and Blockchain Security
	AIBlock 2023
		Fifth Workshop on Application Intelligence and Blockchain Security
		General Chair
		Program Chairs
		Program Committee
		Steering Committee
		Additional Reviewer
Smart Contract-Based E-Voting System Using Homomorphic Encryption and Zero-Knowledge Proof
	1 Introduction
	2 Related Work
		2.1 Blockchain-Based E-Voting System
		2.2 E-Voting System Using Blockchain
	3 Preliminaries
		3.1 Smart Contract
		3.2 Homomorphic Encryption
		3.3 Zero-Knowledge Proof
	4 Proposed System
		4.1 System Components
		4.2 System Model
		4.3 System Features
	5 Performance Evaluation
		5.1 Experiment Environment
		5.2 Execution Time Performance
		5.3 Gas Fee
	6 Conclusion
	References
Preventing Content Cloning in NFT Collections
	1 Introduction
		1.1 New Forms of Digital Collections
		1.2 The Rise of NFT Clones
		1.3 Our Contribution
		1.4 Related Works
		1.5 Structure of This Work
	2 Issues in NFT Collections
		2.1 A Single Point of Failure in ERC-721 and Blockchains with Native NFT Designs
		2.2 Main Approach Mitigating NFT Cloning Attacks
		2.3 Vulnerability Analysis of Existing NFT Collections
	3 A Robust NFT Collection Functionality
		3.1 FCollNFT and ERC-721 NFTs
		3.2 FCollNFT and Blockchains with Native Support of NFTs
		3.3 Discussion on the Implementation of FCollNFT
	4 Conclusions and Future Work
	References
NFT Trades in Bitcoin with Off-Chain Receipts
	1 Introduction
	2 Preliminaries
		2.1 Bitcoin Transactions
		2.2 Recursive SNARKs – Proof Carrying Data
	3 Transaction Chains
	4 Succinct Proofs for Transaction Chains
		4.1 Proving Existence of Primary Chains Recursively
		4.2 Implementation Details and Benchmarks
	5 An Application: NFTs with Atomic and Fully-Fair Swaps
		5.1 Description of the Scheme
		5.2 Fairness for the Buyer and Seller
		5.3 Further Remarks
	References
AIHWS – Artificial Intelligence in Hardware Security
	AIHWS 2023
		Fourth Workshop on Artificial Intelligence in Hardware Security
		Program Chairs
		Program Committee
		Web Chair
A Comparison of Multi-task Learning and Single-Task Learning Approaches
	1 Introduction
		1.1 Summary of Contributions and Outline
		1.2 Relevant Related Works
	2 Preliminaries
		2.1 Profiling Based on Deep Learning
		2.2 Training Methodology
		2.3 Comparison Methodology
		2.4 Computing Resources
		2.5 ASCADv1-r
		2.6 ASCADv2
		2.7 Custom Layers
		2.8 Multi-task Learning
	3 Utilising Experts to Improve Single-Task Architectures
	4 ASCADv1-r: Comparing Multi-task and Single-Task Architectures
		4.1 Assumptions, Contributions and State of the Art
		4.2 Architectures
		4.3 Training Many Models
		4.4 Results of the Experiments
	5 ASCADv2
		5.1 Assumptions and State of the Art
		5.2 Input Scenarios
		5.3 Architectures
		5.4 Training Many Models
		5.5 Results of the Experiments
	6 Conclusion
	References
Hide and Seek: Using Occlusion Techniques for Side-Channel Leakage Attribution in CNNs
	1 Introduction
	2 Preliminaries
		2.1 Notation
		2.2 Deep Learning-Based sca
		2.3 Datasets and Used Architectures
	3 Revisiting Gradient-Based Attribution Methods
	4 Using Occlusion for Leakage Attribution
		4.1 n-Occlusion: Hide and Seek
		4.2 Exploring Different Occlusion Methods
		4.3 Experimental Results
		4.4 Higher-Order Occlusion: Hiding Multiple Parts at once
	5 Occlusion Results of Other ASCAD Key Bytes
	6 Conclusion
	References
Secret Key Recovery Attack on Masked and Shuffled Implementations of CRYSTALS-Kyber and Saber
	1 Introduction
	2 Previous Work
		2.1 Implementations
		2.2 Attacks
	3 Saber and CRYSTALS-Kyber Algorithms
	4 Attack Scenario
	5 Experimental Setup
		5.1 Equipment
		5.2 Target Implementations
	6 Profiling Stage
	7 Attack Stage
		7.1 Message Recovery Using 0 and 255 FY Indexes and Rotation
		7.2 Cyclic Rotation of CCTs
		7.3 Incremental CCT Construction Method
	8 Experimental Results
	9 Countermeasures
	10 Conclusion
	References
SoK: Assisted Fault Simulation
	1 Introduction
	2 Background
	3 A Taxonomy of Fault Models
	4 Criteria for Evaluating the Fault Simulators
	5 Experimental Setup
		5.1 FiSim
		5.2 Zero Overhead Fault Injector
		5.3 ARMORY
		5.4 ARCHitecture-Independent Evaluation
		5.5 Experimental Results
	6 Limitations of Existing Fault Simulators
	7 Opportunities of Using AI Techniques
	8 Conclusion
	References
Using Model Optimization as Countermeasure against Model Recovery Attacks
	1 Introduction
	2 Background
		2.1 Model Extraction Attack
		2.2 OpenVINO ToolKit
		2.3 Previous Work: Cold-Boot Model Recovery Attack on Intel NCS 2
		2.4 Model Optimization
	3 Experiments
		3.1 Investigation on Different Models
	4 Discussions
	5 Conclusion
	References
AIoTS – Artificial Intelligence and Industrial IoT Security
	AIoTS 2023
		Fifth Workshop on Artificial Intelligence and Industrial IoT Security
		Program Chairs
		Web Chair
		Publicity Chairs
		Program Committee
Blockchain-Enabled Data Sharing in Connected Autonomous Vehicles for Heterogeneous Networks
	1 Introduction
	2 Blockchain Based CAV Application Scenario
		2.1 System Model
		2.2 Trust Model
		2.3 Blockchain-Based Data Sharing CAV Scenario
	3 Latency and Security Analysis for CAV Data Sharing
		3.1 Latency Analysis for Homogeneous Networks
		3.2 Latency Analysis for Heterogeneous Network
		3.3 Threat Model and Security Analysis
	4 Numerical Case Study
		4.1 Simulation Setup
		4.2 Simulation Results
	5 Conclusion
	References
A Security Policy Engine for Building Energy Management Systems
	1 Introduction
	2 Background and Known Attacks
	3 Policy Engine
		3.1 Deployment Modes
		3.2 Example Policies
		3.3 Provenance Verification Policy
	4 Testbed
		4.1 Testbed Implementation
	5 Evaluation
	6 Related Work
	7 Conclusion
	References
EARIC: Exploiting ADC Registers in IoT and Control Systems
	1 Introduction
	2 Background
		2.1 Overview of ADC
		2.2 Overview of CPS
	3 Threat Model
	4 EARIC: The Proposed Attacks
		4.1 Overview
		4.2 The Proposed Attacks
	5 Experimental Design
	6 Evaluation and Discussion
		6.1 Attack Accuracy
		6.2 Attack Efficiency
		6.3 Attack Impact
		6.4 Proposed Countermeasures
	7 Related Work
	8 Conclusion
	References
CIMSS – Critical Infrastructure and Manufacturing System Security
	CIMSS 2023
		Third Workshop on Critical Infrastructure and Manufacturing System Security
		Program Chairs
		Publicity Chair
		Program Committee
Round-Efficient Security Authentication Protocol for 5G Network
	1 Introduction
	2 Relation Work
	3 Preliminary
		3.1 5G AKA Authentication Protocol
		3.2 Assumed Attack Models and Security Requirements
		3.3 5G-AKA Weaknesses
		3.4 Weil Pairing
		3.5 ECDH Key Agreement
		3.6 Schnorr Signature Algorithm
	4 Protocol Proposition
		4.1 Assumptions
		4.2 Preparation Phase
		4.3 Authentication Procedure
	5 Validation
		5.1 Formal Verification
		5.2 Security Analysis
		5.3 Security Comparison
		5.4 Efficiency Analysis
	6 Conclusion
	References
A Framework for TLS Implementation Vulnerability Testing in 5G
	1 Introduction
	2 Preliminaries and Related Work
		2.1 5G Slicing and Security
		2.2 Transport Layer Security
		2.3 Port Scanning Technology
		2.4 Related Work
	3 The Framework
	4 Conclusion
	References
Safety Watermark: A Defense Tool for Real-Time Digital Forensic Incident Response in Industrial Control Systems
	1 Introduction
	2 ICS – A Cyber-Physical System
	3 Safety Watermark Concept
		3.1 SWaT Testbed
		3.2 Safety Watermark Active Defense Philosophy
		3.3 Related Work
	4 Chosen Scenario – Deliberate Overdosing of Sodium Hypochlorite
	5 Safety Watermark Detection
		5.1 SWaT HMI and Safety Watermark (Normal Operation)
		5.2 Attack Case 1 (Administrative Control)
		5.3 Attack Case 2 (Elimination Control)
		5.4 Attack Case 3 (Engineering Control)
		5.5 Attack Case 4 (Multiple Controls)
	6 Consequence-Driven Cyber-Informed Engineering (CCE)
		6.1 CCE Methodology
	7 Conclusions
	References
Leveraging Semantic Relationships to Prioritise Indicators of Compromise in Additive Manufacturing Systems
	1 Introduction
	2 Related Work
	3 Conceptual Background
		3.1 Cyber Threat Intelligence
		3.2 Indicators of Compromise
		3.3 Heterogeneous Information Network
		3.4 Overview
	4 Methodology
		4.1 Data Collection and Preprocessing
		4.2 Relation Extraction and Threat Intelligence Modelling
		4.3 Domain Recognition and Tag Generation
		4.4 Domain-Specific Threat Identification and Tagging
		4.5 Severity Measure and Threat Prioritisation
	5 Conclusion and Future Scope
	References
WiP: Towards Zero Trust Authentication in Critical Industrial Infrastructures with PRISM
	1 Introduction
	2 Preliminaries
		2.1 Threshold Secret Sharing
		2.2 Oblivious Pseudorandom Function
	3 PRISM Scheme and Its Properties
		3.1 Construct Overview
		3.2 Registration Safeguard
		3.3 Password Authentication
		3.4 Security Properties
	4 Security Proof of PRISM Scheme
		4.1 Hard Problems
		4.2 Security Proof for Registration
		4.3 Security Proof for Authentication
	5 Conclusion
	References
Cloud S&P – Cloud Security and Privacy
	Cloud S&P 2023
		Fifth Workshop on Cloud Security and Privacy
		Program Chairs
		Program Committee
		Web Chair
		Steering Committee
		Additional Reviewers
slytHErin: An Agile Framework for Encrypted Deep Neural Network Inference
	1 Introduction
	2 Related Work
	3 Background
		3.1 Homomorphic Encryption
		3.2 Deep Neural Networks
	4 slytHErin Overview
		4.1 Scenario 1: Encrypted Client Data - Cleartext Model
		4.2 Scenario 2: Cleartext Client Data - Encrypted Model
		4.3 Scenario 3: Encrypted Client Data - Encrypted Model
	5 Cryptographic Building Blocks
		5.1 Input Data Packing
		5.2 Matrix Multiplication
		5.3 Convolutional and Pooling Layers
		5.4 Optimizations
		5.5 Non-Linear Operations
		5.6 Multiparty Computation Protocols
	6 Experimental Evaluation
		6.1 Implementation and Experimental Setup
		6.2 Empirical Results
	7 Conclusion
	References
Trust Management Framework for Containerized Workloads Applications to 5G Networks
	1 Introduction
	2 Related Work
	3 Trust Model Framework
		3.1 Context
		3.2 Hierarchies for the Target System
		3.3 Use-Case: Communication Between Two Containers in the Same Node
		3.4 Generalization of the Use Case to n-Layer Variants
	4 Adversary Model
	5 Implementation
	6 Evaluation
		6.1 Threat Assessment
		6.2 Analysis of the Threat Assessment Results
		6.3 Verification of the Threat Assessment
	7 Discussion
	8 Conclusion
	References
SCI – Secure Cryptographic Implementation
	SCI 2023
		Fourth Workshop on Secure Cryptographic Implementation
		Program Chairs
		Publication Chair
		Publicity Chairs
		Program Committee
cPSIR: Circuit-Based Private Stateful Information Retrieval for Private Media Consumption
	1 Introduction
	2 Background and Preliminary
		2.1 Minimal Binary Tree
		2.2 Fully Homomorphic Encryption
	3 Technical Overview and Definitions
		3.1 Setting
		3.2 Baseline CPIR
	4 Our Protocol: cPSIR
		4.1 PSIR by Keywords
		4.2 Private Batched File Retrieval
	5 Optimization for Bootstrapping
		5.1 Programmable Bootstrapping
		5.2 Hardware-Accelerated Bootstrapping
	6 Analysis and Evaluation
		6.1 Performance Analysis
		6.2 Evaluation
		6.3 Application: Private Media Consumption
	7 Conclusion
	References
A Deep-Learning Approach for Predicting Round Obfuscation in White-Box Block Ciphers
	1 Introduction
	2 Preliminaries
		2.1 White-Box AES/SM4 with the CEJO Framework
		2.2 Dummy/Noisy Rounds Obfuscation Techniques
		2.3 Deep Neural Networks
	3 Detection of Noisy Rounds
		3.1 Data Generation with Noisy Rounds
		3.2 CNN for Predicting Noisy Rounds
		3.3 RNN for Predicting Noisy Rounds
		3.4 CRNN for Predicting Noisy Rounds
		3.5 Evaluation Methodology
	4 Experimental Results
		4.1 The Comparison of Various Neural Networks
		4.2 Analysis of the Security and Performance with the Round Obfuscation Techniques
	5 Conclusion
	References
Efficient Arithmetic for Polynomial Multiplication in Post-quantum Lattice-Based Cryptosystem on RISC-V Platform
	1 Introduction
	2 Preliminaries
		2.1 Saber
		2.2 Polynomial and Polynomial Multiplication
		2.3 Karatsuba and Toom-Cook Multiplication
		2.4 Number Theoretic Transform and Its Variants
		2.5 Low Complexity NTT
		2.6 Barrett Modular Multiplication
	3 NTT-Based and Non-NTT-Based Polynomial Multiplication Algorithm on RISC-V
		3.1 NTT in Saber
		3.2 Non-NTT-Based Polynomial Multiplication Algorithm in Saber
		3.3 Modular Multiplication on RISC-V
	4 Implementation and Experiment
		4.1 Experiment Platform and Environment Setting
		4.2 Algorithm Implementation and Benchmark
	5 Experiment Result
		5.1 Non-NTT-Based PMAs on T-Core
		5.2 Non-NTT-Based and NTT-Based PMAs on T-Core and HiFive1 Rev B
		5.3 Discussion on the Gap Between Theory and Practice
	6 Conclusion
	References
Generic Constructions of Server-Aided Revocable ABE with Verifiable Transformation
	1 Introduction
		1.1 Motivation
		1.2 Our Contribution
		1.3 Related Work
	2 Preliminaries and Definitions
		2.1 Bilinear Groups
		2.2 Access Structures and Linear Secret Sharing
		2.3 Public-Key Encryption
		2.4 Revocable Attribute-Based Encryption
		2.5 Non-interactive Commitment
	3 Framework and Security Model
		3.1 Framework
		3.2 Security Model
	4 Generic Construction
		4.1 Security Proofs for Generic Construction
	5 Instantiation
		5.1 Proposed SR-ABE with Verifiable Transformation
		5.2 Security Analysis
		5.3 Performance Analysis
	6 Conclusion
	References
Hybrid Post-quantum Signatures in Hardware Security Keys
	1 Introduction
		1.1 Related Work
	2 Background
		2.1 Digital Signatures
		2.2 Post-quantum Cryptography
		2.3 Security Keys
	3 Attacker Model
	4 Hybrid Signatures
	5 A SK-Friendly Implementation
		5.1 CTAP Requirements
		5.2 Dilithium Optimizations
		5.3 CTAP Implementation
		5.4 Side-Channel Resilience
	6 Experiments
		6.1 Dilithium Reference Implementation
		6.2 Dilithium Embedded
		6.3 Register and Authenticate Speed
	7 Conclusion
	A Appendix
	References
Multi-armed SPHINCS+
	1 Introduction
	2 SPHINCS+
		2.1 FORS
		2.2 Winternitz One Time Signature+
		2.3 XMSSMT
		2.4 SPHINCS+
	3 Our Test Platform: Snapdragon 865
	4 SIMD Improvements on Our Test Platforms
		4.1 Using SIMD to Speed-Up SPHINCS+
		4.2 Using SIMD to Mitigate Side-Channel Attacks
	5 Parallelization Strategies
		5.1 When Multithreading Goes Wrong
		5.2 Multithreading on FORS
		5.3 Multithreading on XMSSMT
		5.4 Merging in Best Case Scenarios
	6 Conclusion
	References
SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions
	1 Introduction
	2 Need for Domain-Specific Security Screening
	3 System Design
		3.1 Overview
		3.2 Algorithms in SpanL
		3.3 Components of SpanL Language
	4 Expressiveness of the Language
		4.1 Expressiveness Analysis
		4.2 Case Studies
	5 Experimental Evaluation
	6 Conclusion
	References
ZKBdf: A ZKBoo-Based Quantum-Secure Verifiable Delay Function with Prover-Secret
	1 Introduction
	2 Background
		2.1 Hash-Chain
		2.2 Verifiable Delay Function
		2.3 ZKBoo
		2.4 Computationally Sound Probabilistic Checkable Proof (PCP)
	3 A Quantum-Secure VDF
		3.1 Prover-Secret Feature
		3.2 Serializing ZKBoo
		3.3 ZKBdf Construction
		3.4 Completeness and Soundness
		3.5 Execution Asymmetry
		3.6 Uniqueness
		3.7 Quantum-Secure
	4 Implementation
		4.1 Execution
		4.2 Proof Size
	5 Conclusion
	References
SecMT – Security in Mobile Technologies
	SecMT 2023
		Fourth Workshop on Security in Mobile Technologies
		Program Chairs
		Web Chair
		Program Committee
If You\'re Scanning This, It\'s Too Late! A QR Code-Based Fuzzing Methodology to Identify Input Vulnerabilities in Mobile Apps
	1 Background
		1.1 QR Code Technology
		1.2 Fuzzing
		1.3 Related Works
	2 A Fuzzing-Based Methodology with QRFuzz
		2.1 Methodology Design
		2.2 QRFuzz Implementation
	3 Experiments
		3.1 Experiment Setup
		3.2 Tested Apps
		3.3 Malicious Dictionaries
	4 Results
		4.1 Reliability Results
		4.2 Instagram Case
		4.3 VerificaC19 Case
	5 Conclusions and Future Works
	References
Enabling Lightweight Privilege Separation in Applications with MicroGuards
	1 Introduction
	2 Background
		2.1 ARM VMSA
	3 MicroGuards
		3.1 Design Principles
		3.2 Threat Model and Assumptions
		3.3 MicroGuards Access Control Mechanism
		3.4 MicroGuards Threads
	4 Implementation
	5 Evaluation
		5.1 Microbenchmarks
		5.2 OpenSSL
		5.3 LevelDB
	6 Discussion and Conclusion
		6.1 Address Space Protection Limitations
		6.2 Compatibility Limitations
	7 Related Work
	References
SiMLA – Security in Machine Learning and its Applications
	SiMLA 2023
		Fifth Workshop on Security in Machine Learning and its Applications
		Program Chair
		Web Chair
		Publicity Chair
		Program Committee
Eliminating Adversarial Perturbations Using Image-to-Image Translation Method
	1 Introduction
	2 Related Work
		2.1 Adversarial Attacks on Image Recognition
		2.2 Defense Approaches to Adversarial Attacks
	3 Method Proposed by This Study
		3.1 An Improved Pix2pix Method
		3.2 Training Progress
	4 Results and Evaluation
		4.1 Experiment Results
		4.2 Accuracy
		4.3 Peak Signal-to-Noise Ratio
		4.4 Time Consumption
	5 Conclusion and Future Directions
	References
Federated Learning Approach for Distributed Ransomware Analysis
	1 Introduction
	2 Literature Review
		2.1 Ransomware Detection
		2.2 Federated Learning (FL) in Cybersecurity
	3 Distributed Ransomware Analysis (DRA)
		3.1 Client Sites
		3.2 Central Server
	4 Ransomware Dataset Repository
		4.1 Empirical Data Collection
		4.2 Feature Selection/Extraction
	5 Performance Evaluation
	6 Conclusions and Future Work
	References
Forensic Identification of Android Trojans Using Stacked Ensemble of Deep Neural Networks
	1 Introduction
	2 Related Works
	3 Proposed System
	4 Methodology
		4.1 Implementation Environment
		4.2 The Dataset
		4.3 Preprocessing
		4.4 Experimental Design
	5 Results
		5.1 Performance Metrics
		5.2 Testing Results
		5.3 10-Fold Cross-Validation Results
	6 Discussions
	7 Conclusions and Future Work
	References
Posters
POSTER: Ransomware Detection Mechanism – Project Status at the Beginning of 2023
	1 Introduction
	2 Current State
		2.1 Implementation of the Detection Primitives
		2.2 Process Monitoring and Termination Mechanisms
		2.3 Self-Protection Mechanisms
		2.4 Custom Communication Mechanism
		2.5 Design of the Detection System
		2.6 Test Environment and Procedures
		2.7 Early Test Results
		2.8 Improvements and Changes in the Core Detection Ideas
	3 Upcoming Challenges
	References
POSTER: AuthZit: Multi-modal Authentication with Visual-Spatial and Text Secrets
	1 Introduction
	2 System Design
	3 User Study
	4 Conclusion and Future Work
	References
POSTER: Integration of End-to-End Security and Lightweight-SSL for Enhancing Security and Efficiency of MQTT
	1 Introduction
	2 Preliminaries
	3 New Approach of Integrating E2E-MQTT and the Lightweight TLS/SSL
		3.1 The Lightweight TLS/SSL Record Protocol
		3.2 The Publisher-Subscriber E2E Channel
	4 Preliminary Security Analysis and Performance Evaluation
	5 Conclusions and Future Work
	References
POSTER: Stopping Run-Time Countermeasures in Cryptographic Primitives
	1 Introduction
	2 Current Work
		2.1 Key Idea Behind
		2.2 Disabling Random Sources with Injected Code
	3 Conclusion and Upcoming Challenges
	References
POSTER: Swarm-Based IoT Network Penetration Testing by IoT Devices
	1 Extensions to Prior Work
	2 Introduction
	3 Methodology
	4 Preliminary Results
	5 Benefits for Research and Society
	References
POSTER: Advancing Federated Edge Computing with Continual Learning for Secure and Efficient Performance
	1 Introduction
	2 Methodology
		2.1 Our Framework
		2.2 Knowledge Preservation and Security
	3 Conclusion
	References
POSTER: A Fine-Grained Metric for Evaluating the Performance of Adversarial Attacks and Defenses
	1 Introduction
		1.1 Accuracy Rate
		1.2 Confidence Gap
	2 Methodology and Results
		2.1 Experimental Design
		2.2 Results
	3 Conclusion
	References
POSTER: Integrating Quantum Key Distribution into Hybrid Quantum-Classical Networks
	1 Motivation and Conceptual Network Structure
	2 Quantum Keys as a Service
	3 Key Management and Authentication
	4 Conclusion
	References
POSTER: Adaptive Moving Target Defense: Enhancing Dynamic Perturbation Through Voltage Sensitivity Analysis in Power Systems
	1 Introduction
		1.1 Contributions
	2 Methodology
		2.1 Sensitivity Analysis Approach
		2.2 Algorithm for Dynamic Parameter Perturbations
	3 Simulation and Results
		3.1 Simulation Setup
		3.2 Individual and Combined Parameter Perturbations
		3.3 Impact of Perturbations on Power System Stability and Performance
	4 Discussion and Conclusion
		4.1 Discussion
		4.2 Conclusion
	References
POSTER: PriAuct: Privacy Preserving Auction Mechanism
	1 Introduction
	2 PriAuct Overview
		2.1 Preliminaries
	3 Privacy-Preserving Auction Mechanism
	References
POSTER: Using Verifiable Credentials for Authentication of UAVs in Logistics
	1 Introduction
	2 A Scenario for Confirming the Applicability of VC
		2.1 Players and Purpose
		2.2 Procedures in the Scenario
	3 Our System
		3.1 Types of Verifiable Credential
		3.2 Issuing the Contract
		3.3 Relaying the Packages
		3.4 Implementation
	4 Conclusion
	References
POSTER: A Card-Based Protocol that Lets You Know How Close Two Parties are in their Opinions (agree/disagree) by Using a Four-Point Likert Scale
	1 Backgrounds and Contributions
		1.1 Contributions of This Paper
	2 Previous Non-committed Card Protocols
		2.1 Original Five-Card Trick with 2-Color Cards
		2.2 Three Card Trick with Same Pattern Cards
	3 A Proposal Method
	References
POSTER: Collaborative Authority-Based Searchable Encryption Using Access Control Encryption
	1 Introduction
	2 Problem Statement
		2.1 System Model
		2.2 The Detailed Construction
	References
Author Index