3335 search results - page 156 / 667 » Grid result checking |
128
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
151
Voted
SENSYS
2003
ACM
15 years 9 months ago
2003
ACM
The current generation of sensor nodes rely on commodity components. The choice of the radio is particularly important as it impacts not only energy consumption but also software ...
130
Voted
USS
2008
15 years 6 months ago
2008
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
124
Voted
LWA
2007
15 years 5 months ago
2007
This paper describes the application of machine learning methods to determine parameters for DeLite, a readability checking tool. DeLite pinpoints text segments that are difficul...
147
Voted
OSDI
1996
ACM
15 years 5 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...