4386 search results - page 170 / 878 » A Tamper-Resistant Programming Language System |
133
click to vote
TIC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. There is a growing need to provide low-overhead softwarebased protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-ca...
114
click to vote
JOT
2010
15 years 4 days ago
2010
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
109
click to vote
POPL
2011
ACM
14 years 4 months ago
2011
ACM
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
122
click to vote
CSFW
2011
IEEE
14 years 1 months ago
2011
IEEE
—Randomization is used in computer security as a tool to introduce unpredictability into the software infrastructure. In this paper, we study the use of randomization to achieve ...
121
click to vote
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...