December, 2004 Archive

Using Model Checking to Find Serious File System Errors

Junfeng Yang, Paul Twohey, Dawson Engler, Madanlal Musuvathi Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI ’04), December, 2004, pp. 273-288 Abstract This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces defined …

Read More

Remotely Keyed CryptoGraphics – Secure Remote Display Access Using (Mostly) Untrusted Hardware

Debra L. Cook, Ricardo Baratto, Angelos D. Keromytis Department of Computer Science, Columbia University Technical Report , CUCS-050-04, December 2004 Abstract Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and removing it. Such software may be inadvertently installed by a user that …

Read More

ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams

David P. Olshefski, Jason Nieh, Erich Nahum Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI 2004), San Francisco, CA, December 6-8, 2004, pp. 333-346 Abstract As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. We …

Read More

Columbia University Department of Computer Science