Connecting File Timestamps: A Formal Approach

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Proceedings Of The Digital Forensics Doctoral Symposium, Dfds 2026
Publisher	ACM Digital Library
Pages	1-7
Number of pages	7
ISBN (Print)	9798400721205
DOIs	https://doi.org/10.1145/3785318.3785319
Publication status	Published - 2026

Keywords

@inproceedings{a6be4799c7b04618933835a4abbbfb80,

title = "Connecting File Timestamps: A Formal Approach",

keywords = "Digital Forensics, Formal Model, Ntfs, Timestamps",

author = "Lorenz Hornung and Hugo Jonker and \{van Beek\}, Harm",

year = "2026",

doi = "10.1145/3785318.3785319",

language = "English",

isbn = "9798400721205",

pages = "1--7",

booktitle = "Proceedings Of The Digital Forensics Doctoral Symposium, Dfds 2026",

publisher = "ACM Digital Library",

}

TY - GEN

T1 - Connecting File Timestamps

T2 - A Formal Approach

AU - Hornung, Lorenz

AU - Jonker, Hugo

AU - van Beek, Harm

PY - 2026

Y1 - 2026

KW - Digital Forensics

KW - Formal Model

KW - Ntfs

KW - Timestamps

U2 - 10.1145/3785318.3785319

DO - 10.1145/3785318.3785319

M3 - Conference Article in proceeding

SN - 9798400721205

SP - 1

EP - 7

BT - Proceedings Of The Digital Forensics Doctoral Symposium, Dfds 2026

PB - ACM Digital Library

ER -