View Proposal

Proposer
Abdalla Hadabi
Title
Tamper-Evident Audit Logging using Cryptographic Verification
Goal
Description
Develop an audit-logging platform in which security events are cryptographically linked so that unauthorized deletion, insertion, reordering, or modification of historical records becomes detectable. Hash chains may be used for individual records, while signed checkpoints or Merkle trees can provide additional integrity verification.
Resources
Zhao R, Shoaib M, Hoang VT, Hassan WU. Rethinking tamper-evident logging: A high-performance, co-designed auditing system. InProceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security 2025 Nov 19 (pp. 2624-2638).
Background
Url
Difficulty Level
Moderate
Ethical Approval
None
Number Of Students
1
Supervisor
Abdalla Hadabi
Keywords
audit logging, tamper detection, hash chains, digital signatures, merkle trees, security monitoring, log integrity
Degrees
Bachelor of Science in Computational Sciences and Software Engineering
Back to List