OSDI '02 | ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay | George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, Peter M. Chen |
OSDI '02 | Integrated Resource Management for Cluster-based Internet Services | Kai Shen, Hong Tang, Tao Yang, University of California, Lingkun Chu |
OSDI '02 | Resource Overbooking and Application Profiling in Shared Hosting Platforms | Bhuvan Urgaonkar, Prashant Shenoy, Timothy Roscoe |
OSDI '02 | An Integrated Experimental Environment for Distributed Systems and Networks | Brian White, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, Abhijeet Joglekar |
OSDI '02 | Scalability and Accuracy in a Large-Scale Network Emulator | Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostic, Jeff Chase, David Becker |
OSDI '02 | Pastiche: Making Backup Cheap and Easy | Landon P. Cox, Christopher D. Murray, Brian D. Noble |
OSDI '02 | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment | Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger P. Wattenhofer |
OSDI '02 | Taming Aggressive Replication in the Pangaea Wide-Area File System | Yasushi Saito, Christos Karamanolis, Magnus Karlsson, Mallik Mahalingam |
OSDI '02 | Ivy: A Read/Write Peer-to-Peer File System | Athicha Muthitacharoen, Robert Morris, Thomer M. Gil, Benjie Chen |
OSDI '02 | Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software | Xiaohu Qie, Ruoming Pang, Larry Peterson |
WIESS '02 | An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products | Mark Little, Santosh Shrivastava |
WIESS '02 | Tree Houses and Real Houses: Research and Commercial Software | Susan LoVerso, Margo Seltzer |
WIESS '02 | Using End-User Latency to Manage Internet Infrastructure | Brad Chen, Mike Perkowitz |
WIESS '02 | Building an "Impossible" Verifier on a Java Card | Damien Deville, Gilles Grimaud |
WIESS '02 | Enhancements for Hyper-Threading Technology in the Operating System: Seeking the Optimal Scheduling | Jun Nakajima, Venkatesh Pallipadi |
CARDIS '02 | Implementing Group Signature Schemes with Smart Cards | Sébastien Canard, Marc Girault |
CARDIS '02 | Smart Cards in Interaction: Towards Trustworthy Digital Signatures | Roger Kilian-Kehr, Joachim Posegga |
CARDIS '02 | Security Analysis of Smartcard to Card Reader Communications for Biometric Cardholder Authentication | Luciano Rila, Chris J. Mitchell |
CARDIS '02 | Secure Method Invocation in JASON | Richard Brinkman, Jaap-Henk Hoepman |
CARDIS '02 | Provably Secure Chipcard Personalization, or, How to Fool Malicious Insiders | Helena Handschuh, David Naccache, Pascal Paillier, Christophe Tymen |
CARDIS '02 | Automatic Code Recognition for Smartcards Using a Kohonen Neural Network | Jean-Jacques Quisquater, David Samyde |
CARDIS '02 | Breaking the Liardet-Smart Randomized Exponentiation Algorithm | Colin D. Walter |
CARDIS '02 | A Protected Division Algorithm | Marc Joye, Karine Villegas |
CARDIS '02 | A Java Reference Model of Transacted Memory for Smart Cards | Erik Poll, Pieter Hartel, Eduard de Jong |
CARDIS '02 | Model Checking of Multi-Applet JavaCard Applications | Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov |