David M. Kristol

Publication Activity (10 Years)

Years Active: 1991-2001
Publications (10 Years): 0

Publications

David M. Kristol
HTTP Cookies: Standards, Privacy, and Politics CoRR (2001)
David M. Kristol
HTTP Cookies: Standards, privacy, and politics. ACM Trans. Internet Techn. 1 (2) (2001)
David M. Kristol, Lou Montulli
HTTP State Management Mechanism. RFC 2965 (2000)
Vinod Anupam, David M. Kristol, Alain J. Mayer
A User's and Programmer's View of the New JavaScript Security Model. USENIX Symposium on Internet Technologies and Systems (1999)
Stephen Blott, Clifford E. Martin, Yuri Breitbart, José Carlos Brustoloni, Thomas R. Gramaglia, Henry F. Korth, David M. Kristol, Robert H. Liao, Eben Scanlon, Avi Silberschatz
User-level billing and accounting in IP networks. Bell Labs Tech. J. 4 (4) (1999)
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer
Consistent, Yet Anonymous, Web Access with LPWA. Commun. ACM 42 (2) (1999)
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer
On secure and pseudonymous client-relationships with multiple servers. ACM Trans. Inf. Syst. Secur. 2 (4) (1999)
Balachander Krishnamurthy, Jeffrey C. Mogul, David M. Kristol
Key Differences Between HTTP/1.0 and HTTP/1.1. Comput. Networks 31 (11-16) (1999)
David M. Kristol, Lou Montulli
HTTP State Management Mechanism. RFC 2109 (1997)
Jack Brassil, Abhijit K. Choudhury, David M. Kristol, Aleta M. Lapone, Steven H. Low, Nicholas F. Maxemchuk, Lawrence O'Gorman
SEPTEMBER - secure electronic publishing trial. IEEE Commun. Mag. 34 (5) (1996)
Bill N. Schilit, Fred Douglis, David M. Kristol, Paul Krzyzanowski, James Sienicki, John A. Trotter
TeleWeb: Loosely Connected Access to the World Wide Web. Comput. Networks 28 (7-11) (1996)
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. IEEE Trans. Commun. 44 (5) (1996)
Sanjoy Paul, Krishan K. Sabnani, David M. Kristol
Multicast transport protocols for high speed networks. ICNP (1994)
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. 1 (2) (1993)
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar
Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM (1993)
Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh
From formal specification to implementation: experience with protocol tools. ICNP (1993)
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
Efficient Gateway Synthesis from Formal Specifications. SIGCOMM (1991)