Publication Validating a Web Service Security Abstraction by Typing Andy Gordon, Riccardo Pucella MSR-TR-2002-108 | November 2002 ISBN: 1-58113-632-3 A portion of this work appears in the proceedings of the ACM Workshop on XML Security 2002, Washington DC, November 22, 2002.
Publication Hiding Names: Private Authentication in the Applied Pi Calculus Cédric Fournet, Martın Abadi International Symposium on Software Security (ISSS’02) | November 2002
Publication Computing rate-distortion optimized policies for hybrid receiver/sender driven streaming of multimedia Jacob Chakareski, Philip A. Chou, Bernd Girod Proc. Asilomar Conf. Signals, Systems, and Computers | November 2002 Proc. Asilomar Conf. Signals, Systems, and Computers
Publication Practical Byzantine Fault Tolerance and Proactive Recovery Miguel Castro, Barbara Liskov ACM Transactions on Computer Systems (TOCS) | November 2002
Publication Securing IPv6 Neighbor and Router Discovery Jari Arkko, Tuomas Aura, James Kempf, Vesa-Matti Mantyla, Pekka Nikander, Michael Roe September 2002
Publication (Not So) Random Shuffles of RC4 Ilya Mironov Advances in Cryptology CRYPTO 2002 | August 2002 ISBN: 3-540-44050-X
Publication Risks in Features vs. Assurance Tolga Acar, John Michener CACM | August 2002, Vol 45: pp. 112-146
Tool CamWebSIM CamWebSIM is a small quasi-HTTP server on a GSM SIM based on Microsoft Windows for Smart Cards. By making the SIM accessible over HTTP, the phone and the SIM become a personal security server in… Access
Publication A Secure Distributed Search System Yinglian Xie, David O'Hallaron, Michael K. Reiter Proc. of The Eleventh IEEE International Symposium on High Performance Distributed Computing (HPDC) | July 2002
Publication Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Alan Jeffrey MSR-TR-2002-31 | June 2002 15th IEEE Computer Security Foundations Workshop (CSFW 2002)