540 search results - page 75 / 108 » Protection in Programming-Language Translations |
130
click to vote
ICFP
2010
ACM
15 years 2 hour ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
COMPSEC
2008
14 years 12 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...
CGO
2010
IEEE
15 years 4 months ago
2010
IEEE
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
104
click to vote
CASES
2008
ACM
15 years 1 months ago
2008
ACM
Dynamic binary translators (DBT) have recently attracted much attention for embedded systems. The effective implementation of DBT in these systems is challenging due to tight cons...
115
click to vote
ACNS
2004
Springer
15 years 5 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...