1. iKP?a family of secure electronic payment protocols. Proceedings of First USENIX Workshop on Electronic Commerce, 1995. USENIX Association: Berkeley, CA, 1995.
2. Analysis of the SSL 3.0 protocol. Proceedings of the Second USENIX Workshop on Electronic Commerce, 1996. USENIX Association: Berkeley, CA, 1996; 29-40.
3. Security architecture for wireless residential networks. Proceedings 52nd Conference on Vehicular Technology, 2000. IEEE Vehicular Technology Society: Piscataway, NJ, 2000; 1960-1966.
4. Selective security for TLS. Proceedings 9th International Conference on Networks, 2001. IEEE Computer Society: Piscataway, NJ, 2001; 216-221.