Symmetry of Information and One-Way Functions. - Luc Longpré; Sarah Mocas (Inf. Process. Lett., 1993)

Using Bounded Query Classes to Separate Classes in the Exponential Time Hierarchy from Classes in PH. - Sarah Mocas (SCT, 1994)

Nonuniform Lower Bounds for Exponential Time Classes. - Steven Homer; Sarah Mocas (MFCS, 1995)

A Mechanized Logic for Secure Key Escrow Protocol Verification. - E. Thomas Schubert; Sarah Mocas (TPHOLs, 1995)

Separating Classes in the Exponential-Time Hierarchy From Classes in PH. - Sarah Mocas (Theor. Comput. Sci., 1996)

A Lessons Learned Repository for Computer Forensics. - Warren Harrison; George Heuston; Mark Morrissey; David Aucsmith; Sarah Mocas; Steve Russelle (Int. J. Digit. EVid., 2002)

High-tech forensics. - Warren Harrison; George Heuston; Sarah Mocas; Mark Morrissey; John Richardson (Commun. ACM, 2004)

Building theoretical underpinnings for digital forensics research. - Sarah Mocas (Digit. Investig., 2004)