| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 436334 | Theoretical Computer Science | 2006 | 7 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
