Distributed Systems

Paper from Ercan:

Bar-David, Y. and Taubenfeld, G. 2003. Automatic discovery of mutual exclusion algorithms. In Proceedings of the Twenty-Second Annual Symposium on Principles of Distributed Computing (Boston, Massachusetts, July 13 - 16, 2003). PODC '03. ACM Press, New York, NY, 305-305.
http://doi.acm.org/10.1145/872035.872080

Paper from Anna:

Antony Rowstron, Peter Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Lecture Notes in Computer Science, Volume 2218, Jan 2001, Page 329
http://www.springerlink.com/link.asp?id=7y5mjjep0hqlctv6

Paper from Adam:

Nightingale, E. B., Chen, P. M., and Flinn, J. 2005. Speculative execution in a distributed file system. In Proceedings of the Twentieth ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 23 - 26, 2005). SOSP '05. ACM Press, New York, NY, 191-205.
http://doi.acm.org/10.1145/1095810.1095829

Paper from Justin:

Poellabauer, C., Abbasi, H., and Schwan, K. 2002. Cooperative run-time management of adaptive applications and distributed resources. In Proceedings of the Tenth ACM international Conference on Multimedia (Juan-les-Pins, France, December 01 - 06, 2002). MULTIMEDIA '02. ACM Press, New York, NY, 402-411.
http://doi.acm.org/10.1145/641007.641090

Papers from Dongyun:

M. Zhao, J. Zhang, and R. Figueiredo. “Distributed File System Support for Virtual Machines in Grid Computing”. In HPDC 2004, 2004.
http://hpdc13.cs.ucsb.edu/papers/116.pdf

B. Pawlowski, C. Juszczak, P. Staubach, C. Smith, D. Lebel and D. Hitz, “NFS Version 3 Design and Implementation”, Proc. USENIX Summer Technical Conference, 1994.
http://www.netapp.com/ftp/NFSv3_Rev_3.pdf

Paper from Jeff:

C.A. Waldspurger, T. Hogg, B.A. Huberman, J.O. Kephart, W.S. Stornetta, "Spawn: A Distributed Computational Economy," IEEE Transactions on Software Engineering, vol. 18, no. 2, pp. 103-117, Feb., 1992.
http://doi.ieeecomputersociety.org/10.1109/32.121753

Papers from Rishi:

I. Stoica, R. Morris, D. Karger, F. Kaashoek, and H. Balakrishnan. Chord: A Scalable Peer-To-Peer Lookup Service for Internet Applications. In Proc. of ACM SIGCOMM '01, pages 149--160, San Diego, CA, August 2001.
http://doi.acm.org/10.1145/383059.383071

I. Gupta, K. Birman, P. Linga, A. Demers, and R. van Renesse. Kelips: Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead. In Proc. of the 2nd International Workshop on Peer-toPeer Systems (IPTPS '03), 2003.
http://www.springerlink.com/link.asp?id=77pgu33gq6pvylvw

Fault Tolerance

Papers from Alex:

Wendy Bartlett, Lisa Spainhower, "Commercial Fault Tolerance: A Tale of Two Systems," IEEE Transactions on Dependable and Secure Computing, vol. 01, no. 1, pp. 87-96, Jan-Mar, 2004.
http://doi.ieeecomputersociety.org/10.1109/TDSC.2004.4

A. Wood, R. Jardine, and W. Bartlett, “Data Integrity in HP NonStopServers,”SELSE’06.
http://www.cs.uiuc.edu/class/sp06/cs523/nonstop-selse06.pdf

Shekhar Borkar, "Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation," IEEE Micro, vol. 25, no. 6, pp. 10-16, Nov/Dec, 2005.
http://ieeexplore.ieee.org/iel5/40/33228/01566551.pdf

Paper from Rodolfo:

Alan Messer, Philippe Bernadat, Guangrui Fu, Deqing Chen, Zoran Dimitrijevic, David Lie, Durga Devi Mannaru, Alma Riska, Dejan Milojicic, "Susceptibility of Commodity Systems and Software to Memory Soft Errors," IEEE Transactions on Computers, vol. 53, no. 12, pp. 1557-1568, Dec., 2004.
http://doi.ieeecomputersociety.org/10.1109/TC.2004.119

Paper from Weihang:

Qin, F., Tucek, J., Sundaresan, J., and Zhou, Y. 2005. Rx: treating bugs as allergies---a safe method to survive software failures. In Proceedings of the Twentieth ACM Symposium on Operating Systems Principles (Brighton, United Kingdom, October 23 - 26, 2005). SOSP '05. ACM Press, New York, NY, 235-248.
http://doi.acm.org/10.1145/1095810.1095833

Security

(values in [] can be used as identifiers to use in the rankings for question 3 of the final exam)

Papers from Brian Schmidt:

[BSchm1] David D. Hwang, Patrick Schaumont, Kris Tiri, Ingrid Verbauwhede, "Securing Embedded Systems," IEEE Security and Privacy, vol. 4, no. 2, pp. 40-49, Mar/Apr, 2006.
http://doi.ieeecomputersociety.org/10.1109/MSP.2006.51

[BSchm2] Srivaths Ravi, Anand Raghunathan, Srimat Chakradhar, "Tamper Resistance Mechanisms for Secure, Embedded Systems," VLSID, p. 605, 17th International Conference on VLSI Design, 2004.
http://doi.ieeecomputersociety.org/10.1109/ICVD.2004.1260985

[BSchm3] Kocher, P., Lee, R., McGraw, G., and Raghunathan, A. 2004. Security as a new dimension in embedded system design. In Proceedings of the 41st Annual Conference on Design Automation (San Diego, CA, USA, June 07 - 11, 2004). DAC '04. ACM Press, New York, NY, 753-760.
http://doi.acm.org/10.1145/996566.996771

Paper from Matt Guinn:

[MG] Roussev, V. and Richard III, G.G. Breaking the performance wall: The case for distributed digital forensics. In Proceedings of the 2004 Digital Forensics Research Workshop.
http://www.dfrws.org/2004/bios/day2/Golden-Perfromance.pdf

Paper from Enzhou:

[EW] Shapiro, J. S., Smith, J. M., and Farber, D. J. 1999. EROS: a fast capability system. In Proceedings of the Seventeenth ACM Symposium on Operating Systems Principles (Charleston, South Carolina, United States, December 12 - 15, 1999). SOSP '99. ACM Press, New York, NY, 170-185.
http://doi.acm.org/10.1145/319151.319163

Papers from Brian Schoudel:

[BScho] M. Pouzandi, A new Distributed Security Model for Linux Clusters, in the proceedings of the FREENIX Track: 2004 USENIX Annual Technical Conference. Boston, July 2004.
http://disec.sourceforge.net/docs/dsi_usenix2004.pdf

Papers from Vijay:

[VSN1] "Security in Plan 9", Russ Cox et. al., Proceedings of the 11th USENIX Security Symposium
http://cm.bell-labs.com/sys/doc/auth.pdf

[VSN2] "Plan 9 from Bell Labs", R Pike et. al., Computing Systems, 1995.
http://cm.bell-labs.com/sys/doc/9.pdf

[VSN3] "Kerberos: An Authentication Service for Open Network Systems", Jennifer G. Steiner et. al., Proc. Winter USENIX Conference, 1988
ftp://athena-dist.mit.edu/pub/kerberos/doc/usenix.PS

Papers from Jia:

[JG1] Better Security via Smarter Devices. Gregory R. Ganger and David F. Nagle. Appears in HotOS-VIII (IEEE Workshop on Hot Topics in Operating Systems), May 2001.
http://www.pdl.cmu.edu/PDL-FTP/Secure/hotos01.pdf

[JG2] On the Feasibility of Intrusion Detection Inside Workstation Disks. John Linwood Griffin, Adam Pennington, John S. Bucy, Deepa Choundappan, Nithya Muralidharan, Gregory R. Ganger. Carnegie Mellon University Parallel Data Lab Technical Report CMU-PDL-03-106. December, 2003.
http://www.pdl.cmu.edu/PDL-FTP/Secure/CMU-PDL-03-106.pdf

Paper from Ganesh:

[GB] S. Bono et al., Security Analaysis of a Cryptographically-Enabled RFID Device. In P. McDaniel, ed., USENIX Security ’05, pp. 1-16. 2005.
http://www.rsasecurity.com/rsalabs/staff/bios/ajuels/publications/pdfs/DSTbreak.pdf

Papers from Michael:

[ML1] John C. Wray, "An Analysis of Covert Timing Channels," sp, p. 2, 1991 IEEE Symposium on Security and Privacy, 1991.
http://doi.ieeecomputersociety.org/10.1109/RISP.1991.130767

[ML2] Wei-Ming Hu, "Reducing Timing Charmers with Fuzzy Time," sp, p. 8, 1991 IEEE Symposium on Security and Privacy, 1991.
http://doi.ieeecomputersociety.org/10.1109/RISP.1991.130768

[ML3] Kemmerer, R. A. 1983. Shared resource matrix methodology: an approach to identifying storage and timing channels. ACM Trans. Comput. Syst. 1, 3 (Aug. 1983), 256-277.
http://doi.acm.org/10.1145/357369.357374

[ML4] Taeshik Sohn, Taewoo Noh, Jongsub Moon, Support Vector Machine Based ICMP Covert Channel Attack Detection, Lecture Notes in Computer Science, Volume 2776, Jan 2003, Pages 461 - 464.
http://www.springerlink.com/link.asp?id=nrch2hn0fn885uxg

[ML5] Buchanan, W., and D. Llamas; “Covert Channel Analysis and Detection with a Reverse Proxy Servers using Microsoft Windows” The 3rd European Conference on Information Warfare and Security. Royal Halloway, University of London, UK, Mangement Centre International Limited.
http://www.dcs.napier.ac.uk/~bill/paper_eicw.pdf

[ML6] Moskowitz, Newman, Crepeau, Miller; “A detailed mathematical analysis of a class of covert channels arising in certain anonymizing networks”, Naval Research Laboratory.
http://chacs.nrl.navy.mil/publications/CHACS/2003/2003moskowitz-memo-5540--03-8691.pdf

[ML7] Sabelfeld, A. and A.C. Myers; “Language-Based Information-Flow Security,” IEEE Journal on Selected Areas in Communications, 21(1). p. 5-19.
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=1159651&isnumber=25986

[ML8] Nancy L. Kelem, Richard J. Feiertag, "A Separation Model for Virtual Machine Monitors," sp, p. 78, 1991 IEEE Symposium on Security and Privacy, 1991.
http://doi.ieeecomputersociety.org/10.1109/RISP.1991.130776

[ML9] John Giffin, Rachel Greenstadt, Peter Litwack, Richard Tibbetts, Covert Messaging through TCP Timestamps, Lecture Notes in Computer Science, Volume 2482, Jan 2003, Pages 194 - 208.
http://www.springerlink.com/link.asp?id=4d5jy0ewplea12d4

[ML10] Kuhn, M. G. and Anderson, R. J. 1998. Soft Tempest: Hidden Data Transmission Using Electromagnetic Emanations. In Proceedings of the Second international Workshop on information Hiding (April 14 - 17, 1998). D. Aucsmith, Ed. Lecture Notes In Computer Science, vol. 1525. Springer-Verlag, London, 124-142.
http://www.springerlink.com/link.asp?id=dm6kgf2p4mnrp0uv

[ML11] Wei-Ming Hu, "Lattice Scheduling and Covert Channels," sp, p. 52, 1992 IEEE Symposium on Security and Privacy, 1992.
http://doi.ieeecomputersociety.org/10.1109/RISP.1992.213271