Probabilistic Checkpointing. - Hyo-Chang Nam; Jong Kim 001; Sung Je Hong; Sunggu Lee (FTCS, 1997)

Reliable Probabilistic Checkpointing. - Hyo-Chang Nam; Jong Kim 001; Sung Je Hong; Sunggu Lee (PRDC, 1999)

A Secure Checkpointing System. - Hyo-Chang Nam; Jong Kim 001; Sung Je Hong; Sunggu Lee (PRDC, 2001)

Secure checkpointing. - Hyo-Chang Nam; Jong Kim 001; Sung Je Hong; Sunggu Lee (J. Syst. Archit., 2003)