Security properties of typed applets (1998)

by X Leroy, F Rouaix
Venue:In Conference Record of POPL '98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages