Protocol Analysis

• J. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague

"A probabilistic polynomial-time calculus for the analysis of cryptographic protocols",
submitted for publication. [.ps]
• F. Butler, I. Cervesato, A. Jaggard, and A. Scedrov
  "A formal analysis of some properties of Kerberos 5 using MSR",
  In: S. Schneider, ed., 15-th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, Canada, June, 2002, IEEE Computer Society Press, 2002, to appear. [.ps] [.ps.gz]
• J. Mitchell, A. Ramanathan, A. Scedrov, and V. Teague
  "A probabilistic polynomial-time calculus for analysis of cryptographic protocols",
  In: S. Brookes, M. Mislove, eds., 17-th Annual Conference on the Mathematical Foundations of Programming Semantics, Arhus, Denmark, May, 2001, Electronic Notes in Theoretical Computer Science, Volume 45 (2001) [.ps]

Digital Rights Management

• Ernest Miller and Joan Feigenbaum

"Taking the Copy Out of Copyright",
in Proceedings of the 2001 ACM Workshop on Security and Privacy in Digital Rights Management. [.pdf]
• Joan Feigenbaum, Michael J. Freedman, Tomas Sander, and Adam Shostack

"Privacy Engineering for Digital Rights Management",
in Proceedings of the 2001 ACM Workshop on Security and Privacy in Digital Rights Management. [.ps][.pdf]
• R. Pucella, V. Weissman

"A logic for reasoning about digital rights",
To appear in the Proceedings of the Computer Security Foundations Workshop (CSFW'02), June 2002.

Multi-agent Systems

• J. Y. Halpern, R. Pucella

"On the relationship between strand spaces and multi-agent systems",
in Proceedings of the Eighth ACM Conference on Computer and Communications Security (CCS-8), pp. 106-115, 2001. [.ps]
• Joseph Halpern and Kevin O'Neill

"Secrecy in Multiagent Systems",
To appear in the Proceedings of the Computer Security Foundations Workshop (CSFW'02), June 2002. [.pdf][[.ps]

Algorithmic Mechanism Design

• Joan Feigenbaum, Christos Papadimitriou, Rahul Sami, and Scott Shenker

"A BGP-based Mechanism for Lowest-Cost Routing",
to appear in Proceedings of the 2002 ACM Symposium on Principles of Distributed Computing. [.ps]
• Joan Feigenbaum, Arvind Krishnamurthy, Rahul Sami, and Scott Shenker

"Approximation and Collusion in Multicast Cost Sharing",
Abstract in Proceedings of the 3rd ACM Conference on Electronic Commerce, Tampa FL, October 2001.  [.ps] [.pdf]
• Joan Feigenbaum, Christos Papadimitriou and Scott Shenker

"Sharing the Cost of Multicast Transmissions"
Journal of Computer and System Sciences 63 (2001), pp. 21-41. (Special issue on Internet Algorithms.) [.ps] [.pdf]

Networking

• K. G. Anagnostakis, M. B. Greenwald

"Direct Measurement versus Indirect Inference for Determining Network Internal Delays''
to appear in Proceedings of IFIP Performance 2002 , Rome, Italy, September 2002
• K. G. Anagnostakis, R. S. Ryger, M. B. Greenwald

"On the Sensitivity of Network Simulation to Topology''
submitted for publication, May 2002 [.ps]
• B. Knutsson, H. Lu and Jeffrey Mogul

"Architecture and pragmatics of server-directed transcoding''
Accepted for publication in the 7th International Workshop on Web Content Caching and Distribution, 2002.
• E. Jeannot, B. Knutsson and M. Bjvrkman

"Adaptive Online Data Compression''
Accepted for publication in the Proceedings of th 11th IEEE International Symposium on High-Performance Distributed Computing, 2002.
• S. Ioannidis, K. G. Anagnostakis, J. Ioannidis, A. D. Keromytis
  "xPF: Packet Filtering for Low-Cost Network Monitoring''
  In Proceedings of the 3rd IEEE Workshop on High Performance Switching and Routing (HPSR), May 2002 [.ps]
• K. G. Anagnostakis, S. Ioannidis, S. Miltchev, J. Ioannidis, M. B. Greenwald, and J. M. Smith

"Safety and Performance in an Open Packet Monitoring Architecture''
UPENN TR MS-CIS-02-07, April 2002 [.ps]
• K. G. Anagnostakis, S. Ioannidis, S. Miltchev, J. Ioannidis, M. B. Greenwald, and J. M. Smith

"Efficient Packet Monitoring for Network Management"
in Proceedings of the 8th IEEE/IFIP Network Operations and Management Symposium (NOMS) 2002, Florence, Italy, April 2002  [ps.gz] [pdf]
• J. Ioannidis, S. Ioannidis, A. D. Keromytis, V. Prevelakis
  "Fileteller: Paying and Getting Paid for File Storage"
  In Proceedings of Financial Cryptography (FC) 2002. March 2002 [.ps]
• K. G. Anagnostakis, M. B. Greenwald

"On the Feasibility of Network Delay Tomography using only Existing Infrastructure''
submitted for publication, January 2002 [ps.gz]
• K. G. Anagnostakis, S. Ioannidis, S. Miltchev and J. M. Smith

"Practical Network Applications on a Lightweight Active Management Environment''
in Proceedings of the 3rd International Conference on Active Networks (IWAN), pp. 101-115. Philadelphia, USA, October 2001  [ps.gz]
• K. G. Anagnostakis and J. M. Smith

"BOP: A Bourse of Packets Approach to Internetwork Resource Control"
Abstract in Proceedings of the INFORMS 2001 Annual Meeting, Session on Pricing and Economic Analysis of Telecommunications, November 2001
 

Other

• Gabriel H. Loh, Rahul Sami, Daniel H. Friendly

"Memory Bypassing: Not Worth the Effort ",
in the Proceedings of the Workshop on Duplicating, Deconstructing, and Debunking, May 26, 2002, Anchorage, Alaska. (Held in conjunction with the 29th International Symposium on Computer Architecture). [.pdf]