Sarah Mocas

Publication Activity (10 Years)

Years Active: 1991-2004
Publications (10 Years): 0

Publications

Sarah Mocas
Building theoretical underpinnings for digital forensics research. Digit. Investig. 1 (1) (2004)
Warren Harrison, George Heuston, Sarah Mocas, Mark Morrissey, John Richardson
High-tech forensics. Commun. ACM 47 (7) (2004)
Warren Harrison, George Heuston, Mark Morrissey, David Aucsmith, Sarah Mocas, Steve Russelle
A Lessons Learned Repository for Computer Forensics. Int. J. Digit. EVid. 1 (3) (2002)
Sarah Mocas
Separating Classes in the Exponential-Time Hierarchy From Classes in PH. Theor. Comput. Sci. 158 (1&2) (1996)
E. Thomas Schubert, Sarah Mocas
A Mechanized Logic for Secure Key Escrow Protocol Verification. TPHOLs (1995)
Steven Homer, Sarah Mocas
Nonuniform Lower Bounds for Exponential Time Classes. MFCS (1995)
Sarah Mocas
Using Bounded Query Classes to Separate Classes in the Exponential Time Hierarchy from Classes in PH. Computational Complexity Conference (1994)
Luc Longpré, Sarah Mocas
Symmetry of Information and One-Way Functions. Inf. Process. Lett. 46 (2) (1993)
Luc Longpré, Sarah Mocas
Symmetry of Information and One-Way Functions. ISA (1991)