Formal Digital Investigation of Anti-forensic Attacks | IEEE Conference Publication | IEEE Xplore