{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T10:09:52Z","timestamp":1774001392351,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,24]]},"DOI":"10.1145\/3785318.3785319","type":"proceedings-article","created":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T07:03:47Z","timestamp":1773990227000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Connecting File Timestamps: A Formal Approach"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-0349-2691","authenticated-orcid":false,"given":"Lorenz","family":"Hornung","sequence":"first","affiliation":[{"name":"Department of Computer Science, Open Universiteit, Heerlen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7958-8921","authenticated-orcid":false,"given":"Hugo","family":"Jonker","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Open Universiteit, Heerlen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6128-5201","authenticated-orcid":false,"given":"Harm","family":"van Beek","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Open Universiteit, Heerlen, Netherlands and Netherlands Forensic Institute, The Hague, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2026,3,23]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/3600160.3605027"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","unstructured":"Frank Breitinger Hudan Studiawan and Chris Hargreaves. 2025. SoK: Timeline based event reconstruction for digital forensics: Terminology methodology and current challenges. Forensic Science International: Digital Investigation 53 (2025) 301932. 10.1016\/j.fsidi.2025.301932DFRWS USA 2025 - Selected Papers from the 25th Annual Digital Forensics Research Conference USA.","DOI":"10.1016\/j.fsidi.2025.301932"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Gyu-Sang Cho. 2013. A computer forensic method for detecting timestamp forgery in NTFS. Computers & Security 34 (2013) 36\u201346. 10.1016\/j.cose.2012.11.003","DOI":"10.1016\/j.cose.2012.11.003"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/IMIS.2014.92"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982227"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","unstructured":"Lisa\u00a0Marie Dreier C\u00e9line Vanini Christopher\u00a0J. Hargreaves Frank Breitinger and Felix Freiling. 2024. Beyond timestamps: Integrating implicit timing information into digital forensic timelines. Forensic Science International: Digital Investigation 49 (2024) 301755. 10.1016\/j.fsidi.2024.301755DFRWS USA 2024 - Selected Papers from the 24th Annual Digital Forensics Research Conference USA.","DOI":"10.1016\/j.fsidi.2024.301755"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3465481.3470016"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Pavel Gladyshev and Ahmed Patel. 2004. Finite state machine approach to digital event reconstruction. Digital Investigation 1 2 (2004) 130\u2013149. 10.1016\/j.diin.2004.03.001","DOI":"10.1016\/j.diin.2004.03.001"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","unstructured":"Jan Gruber and Merlin Humml. 2023. A Formal Treatment of Expressiveness and Relevanceof Digital Evidence. Digital Threats 4 3 (2023) 1 \u2013 16. 10.1145\/3608485","DOI":"10.1145\/3608485"},{"key":"e_1_3_3_2_11_2","first-page":"1","volume-title":"Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU\u201923)","author":"Gruber Jan","year":"2023","unstructured":"Jan Gruber, Merlin Humml, Lutz Schr\u00f6der, and Felix\u00a0C. Freiling. 2023. Formal Verification of Necessary and Sufficient Evidence in Forensic Event Reconstruction. In Proceedings of the Digital Forensics Research Conference Europe (DFRWS EU\u201923), Edita Bajramovic and Ricardo\u00a0J. Rodr\u00edguez (Eds.). dfrws.org, Bonn, Germany, 1\u201311."},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Thomas G\u00f6bel and Harald Baier. 2018. Anti-forensics in ext4: On secrecy and usability of timestamp-based data hiding. Digital Investigation 24 (2018) S111\u2013S120. 10.1016\/j.diin.2018.01.014","DOI":"10.1016\/j.diin.2018.01.014"},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"David-Olivier Jaquet-Chiffelle and Eoghan Casey. 2021. A formalized model of the Trace. Forensic Science International 327 (2021) 110941. 10.1016\/j.forsciint.2021.110941","DOI":"10.1016\/j.forsciint.2021.110941"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1201\/9781315122656"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","unstructured":"Christopher Neale. 2023. Fool me once: A systematic review of techniques to authenticate digital artefacts. Forensic Science International: Digital Investigation 45 (2023) 301516. 10.1016\/j.fsidi.2023.301516","DOI":"10.1016\/j.fsidi.2023.301516"},{"key":"e_1_3_3_2_16_2","unstructured":"OEIS Foundation Inc.2025. A000670: Fubini numbers. https:\/\/oeis.org\/A000670. Accessed: 2025-09-17."}],"event":{"name":"DFDS 2026: Digital Forensics Doctoral Symposium","location":"Link\u00f6ping Sweden","acronym":"DFDS 2026"},"container-title":["Proceedings of the Digital Forensics Doctoral Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3785318.3785319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T07:22:08Z","timestamp":1773991328000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3785318.3785319"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":15,"alternative-id":["10.1145\/3785318.3785319","10.1145\/3785318"],"URL":"https:\/\/doi.org\/10.1145\/3785318.3785319","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-03-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}