OSDI '02 | Optimizing the Migration of Virtual Computers | Constantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam, Mendel Rosenblum |
OSDI '02 | Luna: A Flexible Java Protection System | Chris Hawblitzel, Thorsten von Eicken |
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 |
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 |
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 |
CARDIS '02 | Secure Object Flow Analysis for Java Card | Marc Eluard, Thomas Jensen |
CARDIS '02 | Extending Tamper-Proof Hardware Security to Untrusted Execution Environments | |
CARDIS '02 | MICROCAST: Smart Card Based (Micro)Pay-per-View for Multicast Services | Josep Domingo-Ferrer, Antoni Martínez-Ballesté, Francesc Sebé |
CARDIS '02 | On the Implementation of the Advanced Encryption Standard on a Public-key Crypto-Coprocessor | Antonio Valverde Garcia, Jean-Pierre Seifert |
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 |
LISA '02 | Work-Augmented Laziness with the Los Task Request System | Thomas Stepleton |
LISA '02 | Spam Blocking with a Dynamically Updated Firewall Ruleset | Deeann M.M. Mikula, Chris Tracy, Mike Holling |
LISA '02 | Holistic Quota Management: The Natural Path to a Better, More Efficient Quota System | Michael Gilfix |
LISA '02 | Application Aware Management of Internet Data Center Software | Alain Mayer |