AbstractThe 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
International audienceCompartmentalization is good security-engineering practice. By breaking a larg...
International audienceSecure compilation is a discipline aimed at developing compilers that preserve...
© 2016 IEEE. Software applications run on top of infrastructure consisting of hardware (processors, ...
AbstractThe security of the .NET programming model is studied from the standpoint of fully abstract ...
The.NET programming model is fundamental to security on Microsoft’s.NET platform, just as the Java p...
C++ and Microsoft's Component Object Model (COM) are examples of a high- level lan- guage and develo...
Modern-day imperative programming languages such as C++, C# and Java offer protection facilities suc...
The .NET Framework is a managed type-safe environment for application development and execution. The...
International audienceGood programming languages provide helpful abstractions for writing secure cod...
Severe low-level vulnerabilities abound in today's computer systems,allowing cyber-attackers to remo...
Software is pervasive in our daily lives and we rely on it for many critical tasks. Despite the abun...
This thesis contributes to three research areas in software security, namely security requirements a...
International audienceWe propose a new formal criterion for evaluating secure compilation schemes fo...
Software systems are growing ever larger. Early software systems were singular units developed by sm...
It is a normal practice by developers to reuse components. But reusing of components can cause a sig...
International audienceCompartmentalization is good security-engineering practice. By breaking a larg...
International audienceSecure compilation is a discipline aimed at developing compilers that preserve...
© 2016 IEEE. Software applications run on top of infrastructure consisting of hardware (processors, ...
AbstractThe security of the .NET programming model is studied from the standpoint of fully abstract ...
The.NET programming model is fundamental to security on Microsoft’s.NET platform, just as the Java p...
C++ and Microsoft's Component Object Model (COM) are examples of a high- level lan- guage and develo...
Modern-day imperative programming languages such as C++, C# and Java offer protection facilities suc...
The .NET Framework is a managed type-safe environment for application development and execution. The...
International audienceGood programming languages provide helpful abstractions for writing secure cod...
Severe low-level vulnerabilities abound in today's computer systems,allowing cyber-attackers to remo...
Software is pervasive in our daily lives and we rely on it for many critical tasks. Despite the abun...
This thesis contributes to three research areas in software security, namely security requirements a...
International audienceWe propose a new formal criterion for evaluating secure compilation schemes fo...
Software systems are growing ever larger. Early software systems were singular units developed by sm...
It is a normal practice by developers to reuse components. But reusing of components can cause a sig...
International audienceCompartmentalization is good security-engineering practice. By breaking a larg...
International audienceSecure compilation is a discipline aimed at developing compilers that preserve...
© 2016 IEEE. Software applications run on top of infrastructure consisting of hardware (processors, ...
DOI
Add to ORKG