Efficient Gateway Synthesis from Formal Specifications. - David M. Kristol; David Lee 001; Arun N. Netravali; Krishan K. Sabnani (SIGCOMM, 1991)

From formal specification to implementation: experience with protocol tools. - Thomas J. Baumgartner; David M. Kristol; J. D. Milleville; Prashant S. Parikh (ICNP, 1993)

Conformance Testing of Protocols Specified as Communicating FSMs. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul; M. Ümit Uyar (INFOCOM, 1993)

A polynomial algorithm for gateway generation from formal specifications. - David M. Kristol; David Lee 001; Arun N. Netravali; Krishan K. Sabnani (IEEE/ACM Trans. Netw., 1993)

Multicast transport protocols for high speed networks. - Sanjoy Paul; Krishan K. Sabnani; David M. Kristol (ICNP, 1994)

SEPTEMBER - secure electronic publishing trial. - Jack Brassil; Abhijit K. Choudhury; David M. Kristol; Aleta M. Lapone; Steven H. Low; Nicholas F. Maxemchuk; Lawrence O'Gorman (IEEE Commun. Mag., 1996)

TeleWeb: Loosely Connected Access to the World Wide Web. - Bill N. Schilit; Fred Douglis; David M. Kristol; Paul Krzyzanowski; James Sienicki; John A. Trotter (Comput. Networks, 1996)

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. - David Lee 001; Krishan K. Sabnani; David M. Kristol; Sanjoy Paul (IEEE Trans. Commun., 1996)

HTTP State Management Mechanism. - David M. Kristol; Lou Montulli (RFC, 1997)

A User's and Programmer's View of the New JavaScript Security Model. - Vinod Anupam; David M. Kristol; Alain J. Mayer (USENIX Symposium on Internet Technologies and Systems, 1999)

User-level billing and accounting in IP networks. - 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 (Bell Labs Tech. J., 1999)

Consistent, Yet Anonymous, Web Access with LPWA. - Eran Gabber; Phillip B. Gibbons; David M. Kristol; Yossi Matias; Alain J. Mayer (Commun. ACM, 1999)

Key Differences Between HTTP/1.0 and HTTP/1.1. - Balachander Krishnamurthy; Jeffrey C. Mogul; David M. Kristol (Comput. Networks, 1999)

On secure and pseudonymous client-relationships with multiple servers. - Eran Gabber; Phillip B. Gibbons; David M. Kristol; Yossi Matias; Alain J. Mayer (ACM Trans. Inf. Syst. Secur., 1999)

HTTP Cookies: Standards, privacy, and politics. - David M. Kristol (ACM Trans. Internet Techn., 2001)