133 search results - page 26 / 27 » Securing Systems Against External Programs |
ECOOP
2010
Springer
15 years 2 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
EUC
2004
Springer
15 years 2 months ago
2004
Springer
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
103
click to vote
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
86
Voted
REFLECTION
2001
Springer
15 years 1 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...