Information Security: 27th International Conference, ISC 2024, Arlington, VA, USA, October 2325, 2024, Proceedings, Part I [Paperback]

The two volume set LNCS 15257 + 15258 constitutes the proceedings of the 27th International Conference on Information Security, ISC 2024, held in Arlington, VA, USA, during October 2325, 2024.

The 33 full papers presented in these proceedings were carefully reviewed and selected from 111 submissions. The papers are organized in the following topical sections:

Part I - Blockchain; Symmetric-Key Cryptography; Machine Learning; Software Security; Multi-Party Computation; Post-Quantum Cryptography; System Security.

Part II - Web Security; Intrusion Detection.

.- Blockchain.

.- The Formal Verification of Aptos Coin.

.- Anonymous, Timed and Revocable Proxy Signatures.

.- Symmetric-Key Cryptography.

.- MILP/MIQCP-Based Differential-Linear Cryptanalysis on CHAM-64/128.

.- Security Analysis of CMAC in the Multi-User Model.

.- Quantum Key Recovery Attacks on 4-round Iterated Even-Mansour with Two Keys.

.- Machine Learning.

.- Optimizing label-only membership inference attacks by global relative decision boundary distances.

.- Risk of Text Backdoor Attacks under Dataset Distillation.

.- Mobile Security and Trusted Execution.

.- Emulating Android Device Drivers via Borrowed Execution Context.

.- Software Security.

.- SyzLego: Enhancing Kernel Directed Greybox Fuzzing via Dependency Inference and Scheduling.

.- A Lightweight l£¶