| |
| 2007 | ||
|---|---|---|
| 5 | EE | Pavel Gladyshev, Andreas Enbacka: Rigorous Development of Automated Inconsistency Checks for Digital Evidence Using the B Method. IJDE 6(2): (2007) |
| 2005 | ||
| 4 | EE | Pavel Gladyshev: Finite State Machine Analysis of a Blackmail Investigation. IJDE 4(1): (2005) |
| 3 | EE | Pavel Gladyshev, Ahmed Patel: Formalising Event Time Bounding in Digital Investigations. IJDE 4(2): (2005) |
| 2004 | ||
| 2 | EE | Pavel Gladyshev, Ahmed Patel: Finite state machine approach to digital event reconstruction. Digital Investigation 1(2): 130-149 (2004) |
| 1998 | ||
| 1 | Pavel Gladyshev, Ahmed Patel, Donal O'Mahony: Cracking RC5 with Java applets. Concurrency - Practice and Experience 10(11-13): 1165-1171 (1998) | |
| 1 | Andreas Enbacka | [5] |
| 2 | Donal O'Mahony | [1] |
| 3 | Ahmed Patel | [1] [2] [3] |