2237 search results - page 143 / 448 » On the Security of Random Sources |
174
Voted
IM
2007
15 years 6 months ago
2007
Vertex pursuit games, such as the game of Cops and Robbers, are a simplified model for network security. In these games, cops try to capture a robber loose on the vertices of the ...
154
Voted
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
163
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
194
Voted
IEEEARES
2008
IEEE
16 years 16 days ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
175
click to vote
ACSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...