Relation between availability and consistency

1. Harvest, Yield, and Scalable Tolerant Systems, HotOS 99 (Fox and Brewer)
2. The Cost and Limits of Availability for Replicated Services, SOSP 01 (Yu and Vahdat)

Secure location determination and verification in wireless
networks

1. SeRLoc: secure range-independent localization for wireless sensor networks, WiSe 04 (Lazos and Poovendran)
2. Robust location detection in emergency sensor networks, InfoComm 03 (Ray, Ungrangsi, and Pellegrini)
3. Attack-resistant location estimation in sensor networks, IPSN 05 (Liu, Ning, and Du)
4. A probabilistic approach to location verification in wireless sensor networks, ICC 06 (Ekici, Mcnair, and Al-Abri)

Oct 31
Nov 07

Dependable web services

1. NIST "Guide to Secure Web Services" (Singhal, Winograd, and Scarfone)
2. Constructing dependable Web services, IEEE Internet Computing, Jan-Feb 00 (Ingham, Shrivastava, and Panzieri)

System Management for Server Farms

1. Extending a J2EE™ server with dynamic and flexible resource management, Middleware 04 (Jordan, Czajkowski, Kouklinski, and Skinner)
2. Scaling J2EE Application Servers with the Multi-Tasking Virtual Machine, Software Feb 06 (Jordan, Daynes, Jarzab, Bryce, and Czajkowski)

Provably correct reconfiguration of systems

1. Assured Reconfiguration of Embedded Real-Time Software, DSN 04 (Strunk and Knight)
2. Using Simplicity to Control Complexity, IEEE Software Jul/Aug 01 (Sha)

Intrusion tolerance in asynchronous systems

1. CODEX: A Robust and Secure Secret Distribution System , TDSC Jan 04 (Marsh and Schneider)
2. How Resilient are Distributed f Fault/Intrusion Tolerant Systems?, DSN 05 (Sousa, Ferreira Neves, and Verissimo)

Information theory applied to network security

1. Information-Theoretic Measures for Anomaly Detection, Security & Privacy 01 (Lee and Xiang)
2. Determining the Operational Limits of an Anomaly-Based Intrusion Detector (Tan and Maxion)

Dong-Hoon
Srikanth