Sarah Mocas

According to our database, Sarah Mocas authored at least 8 papers between 1993 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2004

Building theoretical underpinnings for digital forensics research.

Sarah Mocas

Digit. Investig., 2004

High-tech forensics.

Warren Harrison, George Heuston, Sarah Mocas, Mark Morrissey, John Richardson

Commun. ACM, 2004

2002

A Lessons Learned Repository for Computer Forensics.

Warren Harrison, George Heuston, Mark Morrissey, David Aucsmith, Sarah Mocas, Steve Russelle

Int. J. Digit. EVid., 2002

1996

Separating Classes in the Exponential-Time Hierarchy From Classes in PH.

Sarah Mocas

Theor. Comput. Sci., 1996

1995

A Mechanized Logic for Secure Key Escrow Protocol Verification.

E. Thomas Schubert, Sarah Mocas

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

Nonuniform Lower Bounds for Exponential Time Classes.

Steven Homer, Sarah Mocas

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

Using Bounded Query Classes to Separate Classes in the Exponential Time Hierarchy from Classes in PH.

Sarah Mocas

Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Amsterdam, The Netherlands, June 28, 1994

1993

Symmetry of Information and One-Way Functions.

Luc Longpré, Sarah Mocas

Inf. Process. Lett., 1993