2257 search results - page 193 / 452 » Secure program partitioning |
132
Voted
PLDI
2011
ACM
14 years 3 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
117
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
102
Voted
IH
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Information hiding has been studied in many security applications such as authentication, copyright management and digital forensics. In this work, we introduce a new app...
90
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
These notes have the status of letters written to ourselves: we wrote them down because, without doing so, we found ourselves making rguments over and over again. So began the abs...
132
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...