33 citations · 102 across the 13 of their papers we have counts for
1 paper · 1 filter
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…