5343 search results - page 800 / 1069 » Keyword programming in java |
178
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
151
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
163
click to vote
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
180
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
167
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
Atomic blocks allow programmers to delimit sections of code as ‘atomic’, leaving the language’s implementation to enforce atomicity. Existing work has shown how to implement...