Innovative Security Solutions for Information Technology and Communications

This book constitutes revised selected papers from the thoroughly refereed conference proceedings of the 17th International Conference on Innovative Security Solutions for Information Technology and Communications, SecITC 2024, which took place in Bucharest, Romania, in November 2024.

The 16 full papers presented in these proceedings were carefully reviewed and selected from 49 submissions. The book also contains two invited talks. This conference is focusing on all theoretical and practical aspects related to information technology and communications security.

Klappentext

.- Designing Human-centric security protocols. .- Election Security-by-Design. .- A Conceptual Framework to Leverage Heuristics for Effective Human-Machine Collaboration in Incident Handling. .- Locally Verifiable Signature Schemes: A Study of Aggregate and Multi-Signatures. .- Towards Intelligent User Enumeration Based Profiling. .- CodeFlowGen: A Generator of Synthetic Source Code with Scalable Control Flow Paths for Evaluating Static Analysis Tools. .- Cyber Threats to Green Hydrogen Production within a Solar Microgrid. .-Stateful Fuzzing of OPC UA . .- Efficiency Analysis of Lightweight Post-Quantum Cryptographic Algorithms. .- Card-based Arithmetic Operations and Application to Statistical Data Aggregation. .- Privacy-Preserving Multi-Party Search via Homomorphic Encryption with Constant Multiplicative Depth. .- An Evaluation of Post-Quantum and Hybrid Noise Protocol Variants on Mobile Devices. .- Strengthening Return Address Stack of Rocket Core Against Buffer Overflow Attacks. .- Parameterizing Time-Memory Trade-off for Flexible Implementation of CRYSTALS-Dilithium. .- QUICPot. A HTTP/3 Protocol Honeypot. .- Another Lattice Attack Against an RSA-like Cryptosystem. .- Hybrid solutions for 2PC: How much do they cost?. .- 32-bit and 64-bit CDC-7-XPUF Implementations on a Zynq-7020 SoC.

Inhalt

.- Designing Human-centric security protocols.

.- Election Security-by-Design.

.- A Conceptual Framework to Leverage Heuristics for Effective Human-Machine Collaboration in Incident Handling.

.- Locally Verifiable Signature Schemes: A Study of Aggregate and Multi-Signatures.

.- Towards Intelligent User Enumeration Based Profiling.

.- CodeFlowGen: A Generator of Synthetic Source Code with Scalable Control Flow Paths for Evaluating Static Analysis Tools.

.- Cyber Threats to Green Hydrogen Production within a Solar Microgrid.

.-Stateful Fuzzing of OPC UA .

.- Efficiency Analysis of Lightweight Post-Quantum Cryptographic Algorithms.

.- Card-based Arithmetic Operations and Application to Statistical Data Aggregation.

.- Privacy-Preserving Multi-Party Search via Homomorphic Encryption with Constant Multiplicative Depth.

.- An Evaluation of Post-Quantum and Hybrid Noise Protocol Variants on Mobile Devices.

.- Strengthening Return Address Stack of Rocket Core Against Buffer Overflow Attacks.

.- Parameterizing Time-Memory Trade-off for Flexible Implementation of CRYSTALS-Dilithium.

.- QUICPot. A HTTP/3 Protocol Honeypot.

.- Another Lattice Attack Against an RSA-like Cryptosystem.

.- Hybrid solutions for 2PC: How much do they cost?.

.- 32-bit and 64-bit CDC-7-XPUF Implementations on a Zynq-7020 SoC.