Jan Vitek, Giuseppe Castagna. Seal: A Framework for Secure Mobile Computations. In Henri E. Bal, Boumediene Belkhouche, Luca Cardelli, editors, Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings. Volume 1686 of Lecture Notes in Computer Science, pages 47-77, Springer, 1998. [doi]
Abstract is missing.