1. Abadi, M.1998, Protection in programming-language translations, inProceedings of the 25th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 1443, pp. 868–883, Springer-Verlag, Berlin.
2. Secure web tunneling;Abadi;Computer Networks and ISDN Systems,1998
3. Abadi, M, Fournet, C, and, Gonthier, G, Secure implementation of channel abstractions, manuscript, available at, http://join.inria.fr/.
4. Abadi, M., Fournet, C., and Gonthier, G.1998, Secure implementation of channel abstractions, inProceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, pp. 105–116.
5. Abadi, M., Fournet, C., and Gonthier, G.1999, Secure communications processing for distributed languages, inProceedings of the 1999 IEEE Symposium on Security and Privacy, pp. 74–88.