19 citations · 19 across the 1 of their papers we have counts for
1 paper
Joshua I. James, Pavel Gladyshev, Mohd Taufik Abdullah +1
This paper expands upon the finite state machine approach for the formal analysis of digital evidence. The proposed method may be used to support the feasibility of a given stateme…