Securing the .NET Programming Model

  • Andrew Kennedy

Theoretical Computer Science |

Special Issue containing selected articles from APPSEM II Workshop

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.