1299 search results - page 249 / 260 » On the Correctness of Operating System Kernels |
107
click to vote
DGO
2003
15 years 3 months ago
2003
The Internet has become the most frequently accessed medium for obtaining various types of data. In particular, government agencies, academic institutions, and private enterprises...
128
Voted
ICSOC
2010
Springer
15 years 11 days ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
117
click to vote
CCS
2011
ACM
14 years 1 months ago
2011
ACM
We empirically analyzed sanitizer use in a shipping web application with over 400,000 lines of code and over 23,244 methods, the largest empirical analysis of sanitizer use of whi...
131
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
152
Voted
LISA
2004
15 years 3 months ago
2004
It is often difficult and time-consuming to manage computer `moves, adds, and changes' that take place in a switched, subnetted environment. It is even more difficult when th...