How to Carve Out-of-Order Fragmented Files. - Nick Huijsmans; Bart Kuijsten; Hugo Jonker; Harm M. A. van Beek (Juggling Formal Methods and Security, 2026)