Securing the .NET programming model

The security of the .NET programming model is studied from the standpoint of fully abstract compilation of C♯. A number of failures of full abstraction are identified, and fixes described. The most serious problems have recently been fixed for version 2.0 of the .NET Common Language Runtime.